Logic List Mailing Archive 2002

[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: 2026 2025 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: 2026 2025 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