[LOGIC] List Mailing Archive 2002

Subscribe to the [LOGIC] list in order to receive information about conferences, job advertisements and logic-related news.

Archived years: 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all

Received: 2002-12-31:

• Aufruf zur Organisation von Minisymposien auf der DMV-Tagung in Rostock
• Kolmogorov conference in Moscow

Received: 2002-12-20:

• Stanford Mathematics Positions (also in Logic)

Received: 2002-12-19:

• John Wesley Young Instructorship in Mathematics (Dartmouth College, New Hampshire)
• Tenure-Track-Position Boise State University in "Statistics/Set Theory/Mathematics"
• Six faculty positions at UC San Diego: Logic in Applied Mathematics
• Olga Taussky-John Todd Instructorship in Mathematics (California Institute of Technology)
• Mathematics Assistant Professorship Sonoma State University (preference to Logic/Foundations)

Received: 2002-12-18:

• LC2003: First Announcement and Call for Papers
• Korrektur: Weihnachts-Logikkolloquium IN GOETTINGEN
• Weihnachts-Logikkolloquium in Konstanz 20.12.2002
• Workshop "Properties, Modalities, and States of Affairs", Konstanz 24.-25.1.2003
• cfp Philosophiegeschichte und logische Analyse
• 1/2 C3-Stelle Muenchen: Sprachphilosophie

Received: 2002-12-16:

• Workshop on Randomness in Heidelberg
• Graduiertenkolleg Dresden

Received: 2002-12-12:

• Logik-Buecher im Antiquariat Lange & Springer

Received: 2002-12-11:

• Fourth Annual Colloquiumfest: Saskatoon, March 21st and 22nd 2003
• Research Unit Algebra and Logic Announcement (U of S)
• Graduate and Post Graduate Studies in Saskatoon
• RAND-Seminar (Dept. of CS, Chair V)
• Rezension einer Gentzen-Biographie
• Postdoctoral positions at the University of Florida

Received: 2002-12-05:

• Tenure Track Position in Mathematical Logic in Uppsala
• C2 Professorship "Theoretische Grundlagen der Informatik" FH Trier

Received: 2002-12-03:

• Seminar on "Primes is in P" in Utrecht

Received: 2002-12-02:

• CfP: ESSLLI'03 Student Session
• 2002-03 ASL Winter Meeting

Received: 2002-12-01:

• Mathematics Professorships at IUB

Received: 2002-11-29:

• 2nd St.Petersburg Days of Logic and Computability
• Heidelberger Kompaktseminar: Paul Horwich (CUNY)
• Wittgenstein Symposium 2003
• Workshop Barcelona: The Origins of Algebra

Received: 2002-11-26:

• BEST 2003

Received: 2002-11-25:

• Logic and its applications in Algebra and Geometry, Ann Arbor April 2003

Received: 2002-11-19:

• Mathematics Position (possibly Mathematical Logic) / Penn State

Received: 2002-11-13:

• Visitor Funding at LPS UCI (Academic Year 2003/2004)
• Professorship in Logic and Philosophy of Mathematics at the University of Notre Dame (Indiana)
• Instructorship in Critical Thinking at SIUE (Edwardsville IL)
• Assistant Professorship Philosophy (and History) of Science at Villanova University (Villanova PA)
• Assistant Professorship Philosophy of Science/Logic at Swarthmore College (Swarthmore PA)
• Assistant Professorship in Philosophy of Science/Logic at Union College (Schenectady NY)
• Assistant Professorship in Logic (Philosophy) at Columbia University

Received: 2002-11-07:

• Bewusstseinstagung Magdeburg
• International Workshop in Konstanz Dec 16-17, 2002

Received: 2002-11-06:

• Dec 16-17, 2002: Logic in Games and Multiagent Systems (Liverpool)
• Postdoc position in Theoretical Philosophy (fwd)

Received: 2002-11-05:

• 9th Southeast Logic Symposium

Received: 2002-11-04:

• 4th Int Workshop on Linguistically Interpreted Corpora

Received: 2002-10-31:

• Informal Meeting of Set Theorists in Bonn (IMST 2002)
• Konferenz GAP.5

Received: 2002-10-29:

• Stipendien Graduiertenkolleg Wissensgesellschaft
• Professur Logik Lausanne
• Temporary Positions in the UCLA Program in Computing

Received: 2002-10-28:

• Tenure-Track Western Illinois University
• New Book Series "Logic, Epistemology, and the Unity of Science"
• DLMPS Congress 2003 (Oviedo, Spain)
• 50 Years Studia Logica (Roskilde Nov 2003)
• FOL75 (September 2003)
• Research Fellowships: Natural Semiosis/Ontology
• GLLC 7, Amsterdam Nov 28, 2002
• CFP -- EACL03, Budapest, Hungary (fwd)
• MAMLS this weekend at CMU

Received: 2002-10-19:

• Utrecht-Muenster Seminar WS 02/03
• Computational Linguistics, Georgetown University

Received: 2002-10-18:

• Arizona Winter School "Logic & Number Theory"
• CONTEXT '03
• Logic in Games and Multiagent Systems, Liverpool
• 4-Color Problem, FW.-- (fwd)

Received: 2002-10-17:

• Logical Constants workshop at UC, Irvine

Received: 2002-10-16:

• Website for PHILOG & PHINEWS
• MAMLS at CMU October 30 - November 3

Received: 2002-10-14:

• Introductory Seminar on Selfreference (fwd)

Received: 2002-10-09:

• APA SERVICE LEARNING GRANT COMPETITIONS

Received: 2002-10-04:

• Call for Participation(IEEE Data Mining 2002) (fwd)
• postdoc position at Utrecht (fwd)

Received: 2002-10-03:

• list of problems in inner model theory (fwd)

Received: 2002-09-30:

• Sacks Prize Nominations (fwd)
• DMV-Tagung Rostock

Received: 2002-09-27:

• Fusion Conference - Call for papers
• Internationale Tagung Language Technology 2002 eroeffnet
• MAMLS at Rutgers this Weekend
• Buchbergers 60th Birthday

Received: 2002-09-25:

• New Kluwer Book Series

Received: 2002-09-20:

• 2nd Phd School in Formal Language and Applications
• PILM 2002 -- Sept.30 - Oct.4 -- Nancy, France

Received: 2002-09-16:

• 2003 SIAM Annual Meeting

Received: 2002-09-13:

• CFP -- EACL'03, Budapest
• 65th Birthday of Yiannis Moschovakis / VIG 2003
• Artikel ueber die Geschichte der Logik an der ETH

Received: 2002-09-12:

• [LOGIC ]EACL2003: 2nd Call for Workshop Proposals, deadline Oct 1

Received: 2002-09-11:

• Logic Lecturer Position in Auckland NZ

Received: 2002-09-08:

• 60th Birthday of Istvan Juhasz

Received: 2002-09-06:

• IEEE ICDM 2002 Workshops: Call for Papers (fwd)
• PHINEWS
• Vortrag W. Singer in Essen (fwd)

Received: 2002-09-05:

• "Combining Probability and Logic" (Nov 2002)

Received: 2002-09-04:

• CfP FotFS IV

Received: 2002-09-03:

• FOL75 - CONFERENCE ANNOUNCEMENT (fwd)
• CCA 2003 - First Announcement and Call for Papers (fwd)

Received: 2002-08-29:

• CICLing-2003

Received: 2002-08-26:

• workshop at Leiden University (fwd)
• new Model Theory text (fwd)
• Hans Rademacher Lectures at U Penn Sep 17-20
• Wkshp Foundational Theories in Mathematics (fwd)

Received: 2002-08-13:

• Research Fellow Positions St.Andrews

Received: 2002-08-09:

• Death of Edsger Dijkstra
• Model theory and set theory, 10th Sept, London

Received: 2002-08-02:

• MINI-WORKSHOP ON FOUNDATIONAL THEORIES IN MATHEMATICS

Received: 2002-07-24:

• EDILOG 2002: Call for Participation and Demonstrations (fwd)

Received: 2002-07-16:

• WoPaLo

Received: 2002-07-10:

• Foellesdal Vortraege

Received: 2002-04-04:

• TYPES SUMMER SCHOOL: THEORY AND PRACTICE OF FORMAL PROOFS
• Schwichtenbergs 60.Geburtstag
• WORKSHOP ON PROOF, COMPUTATION, COMPLEXITY
• ICC'02
• CSL'02

Received: 2002-04-03:

• Sad News (fwd)

Received: 2002-04-01:

• research position in algebraic model theory (fwd)

Received: 2002-03-30:

• FOM: Conference in Nonstandard Analysis - Pisa, June 2002 (fwd)

Received: 2002-03-25:

• NYC Logic Conference weekend after next, April 5-7, 2002

Received: 2002-03-02:

• NYC Logic Conference next month at CUNY Graduate Center April 5-7, in honor of Mel Fitting (fwd)
• NASSLLI Announcement (fwd)

Received: 2002-02-27:

• CfP Metaphysica (fwd)
• workshop on computability and complexity in analysis (fwd)

Received: 2002-02-26:

• Lectureship in St. Andrews (fwd)

Received: 2002-02-21:

• : BACC2002 (fwd)

Received: 2002-02-18:

• Workshop mit R. Stalnaker (fwd)

Received: 2002-02-16:

• Call for comments on logic-teaching web-pages (fwd)

Received: 2002-02-13:

• Call for papers and announcement of volume 5 (2002) (fwd)
• Position: Supervisor of the ASL Typesetting Group (fwd)

Received: 2002-02-11:

• Ehrendoktorwuerde Moshe Vardi
• C1 Muenchen

Received: 2002-02-08:

• 2 Doktorandenstellen TU Dresden (fwd)

Received: 2002-01-25:

• AiML

Received: 2002-01-21:

• ESSLLI 2002 Student Session (fwd)
• Graduiertenstelle Pragmatik (fwd)

Received: 2002-01-20:

• NASSLLI 2002 Student Session- Call for papers (fwd)

Received: 2002-01-17:

• [CfP] Colloquium Logicum 2002 (fwd)

Received: 2002-01-16:

• BACC2002 (fwd)

Received: 2002-01-15:

• Kompaktkurs

Received: 2002-01-14:

• Conference Announcement (fwd)
• [Icm2002] ICM2002-CL14 (fwd)

Received: 2002-01-04:

• Call For Papers: Computer Science Logic 2002 (CSL'02) (fwd)

Received: 2002-01-02:

• GAPInfo 1-2002 CfP Workshop on Hybrid Logics (fwd)

Archived years: 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all