[LOGIC] List Mailing Archive 2001

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: 2001-12-21:

• workshop on Computability and Complexity in Analysis (fwd)

Received: 2001-12-18:

• faculty position in logic

Received: 2001-12-17:

• LICS Newsletter (fwd)

Received: 2001-12-12:

• BEST 11 (fwd)

Received: 2001-12-08:

• WoPaLo - Workshop on Paraconsistent Logic - ESSLLI 2002 - 1st Call For Papers (fwd)

Received: 2001-12-06:

• LICS 2002 Call for Papers (fwd)

Received: 2001-12-04:

• History of Mathematics SIGMAA (fwd)

Received: 2001-11-30:

• Model Theory Meeting in Bogota - Second Announcement (fwd)
• ESSLLI 2002 Student Session (fwd)

Received: 2001-11-29:

• conference in honor of Mycielski (fwd)
• Positionen in Amsterdam

Received: 2001-11-26:

• Model Theory Meeting in Bogota (fwd)

Received: 2001-11-19:

• Winter School 2002
• Tagung, Freiburg

Received: 2001-11-15:

• Measure theory and set theory, 21/11/01, further info (fwd)

Received: 2001-11-14:

• computational linguistics conference (fwd)

Received: 2001-11-13:

• Arbeitsgruppe "Philosophy, Probability and Modeling"

Received: 2001-11-09:

• Computer Science Logic 2002 (CSL'02) announcement (fwd)

Received: 2001-11-07:

• Positions at BRICS (fwd)
• Topology Conference

Received: 2001-11-05:

• essay contest on the history and philosophy of computability (fwd)

Received: 2001-11-01:

• ISDA 2002 - First Call for Papers (fwd)

Received: 2001-10-29:

• symposium in Nancy, France (fwd)

Received: 2001-10-28:

• Summerschool 'Mind and Computation' (fwd)

Received: 2001-10-26:

• logic position at Stanford (fwd)
• David Lewis

Received: 2001-10-23:

• logic fellowships at Monash University (fwd)

Received: 2001-10-21:

• Alfred Horn (1918-2001)

Received: 2001-10-19:

• Measure theory and set theory, Wednesday 21st November (fwd)

Received: 2001-10-02:

• (no subject)

Received: 2001-10-01:

• conference: Diagrams 2002 (fwd)

Received: 2001-09-21:

• Conf. 'Representational Theory of Mind' (fwd)
• Carnap-Konferenz (fwd)

Received: 2001-09-18:

• Jensen-Kolloquium

Received: 2001-09-13:

• Sacks Prize

Received: 2001-09-12:

• Second Workshop on Formal Topology, Venice, April 2002 (fwd)

Received: 2001-09-07:

• formal methods symposium (fwd)

Received: 2001-09-05:

• ICM 2002

Received: 2001-08-17:

• FOM: NF meeting (fwd)

Received: 2001-08-14:

• First International Conference on Neutrosophic Logic - a generalization of the fuzzy logic (was Re: EMS Newsletter Conference List) (fwd)

Received: 2001-08-10:

• Lecturer Position
• New Journal
• 2 conferences

Received: 2001-08-06:

• Registration 4th Tbilisi Symposium on Language, Logic and Computation (fwd)

Received: 2001-08-02:

• Juniorprofessur 'Logik' HU Berlin (fwd)

Received: 2001-07-30:

• FOM: meeting announcement: Diagrams 2002 (fwd)

Received: 2001-07-28:

• Auckland 2002 and Louisiana November 2001 (fwd)

Received: 2001-07-24:

• Konf. zu Popper (fwd)

Received: 2001-07-20:

• AC 2001

Received: 2001-07-19:

• [LOGIK] BATIIa Stelle [iso-8859-1] G?ngen (fwd)

Received: 2001-07-17:

• Stellenausschreibung

Received: 2001-07-12:

• Godel papers on microfilm; opinion survey (fwd)
• CFP ESSLLI02 (Trento, Italy) (fwd)
• Davidson-Vortrag (fwd)

Received: 2001-07-06:

• FOM: conference on weak arithmetic and discrete geometry (fwd)

Received: 2001-07-05:

• Deutscher Kongress Philosophie 2002 (fwd)

Received: 2001-07-02:

• CALL FOR PARTICIPATION: European Summer School in Logic, Language and Information (ESSLLI'01), August 13-24, 2001 (Helsinki, Finland) (fwd)

Received: 2001-06-29:

• European Congress Analytic Philosophy 2002 (fwd)

Received: 2001-06-28:

• FOM: AAL 2001 (fwd)

Received: 2001-06-26:

• Talk at IBM Almaden (fwd)

Received: 2001-06-20:

• (LOGIC) Konf. 'Logischer Empirismus' (fwd)
• (LOGIC) Wkshp. 'Methods for Modalities' (fwd)

Received: 2001-06-15:

• conference on logic programming
• new book: Computability and Complexity in Analysis

Received: 2001-06-11:

• Mathematics Research (fwd)
• CFP ESSLLI02 (Trento, Italy) (fwd)

Received: 2001-06-07:

• FOM: New Lakatos book (fwd)
• Maurice Boffa (1939-2001)

Received: 2001-06-01:

• CFP Esslli 2002 (Trento, Italy) (fwd)

Received: 2001-05-31:

• Workshop on Foundational Theories in Mathematics
• [logic] Re: Jensen-Kolloquium (fwd)

Received: 2001-05-29:

• (no subject)

Received: 2001-05-23:

• Nachruf auf Prof.Dr.Walter Felscher

Received: 2001-05-20:

• 10th CSLI Workshop on Logic, Language and Computation - May 25-27 (fwd)
• Jensen Lecture Videotapes (fwd)

Received: 2001-05-18:

• FOM: school in formal languages and applications (fwd)

Received: 2001-05-17:

• Festkolloquium Rautenberg

Received: 2001-05-12:

• (LOGIC) Russell-Konferenz (fwd)

Received: 2001-05-09:

• FOM: IEEE Data Mining 2001: Call for Papers (fwd)

Received: 2001-05-03:

• Logic Colloquium 2001 -- extended deadline (fwd)

Received: 2001-04-30:

• Doktorandenstelle in Kiel (fwd)

Received: 2001-04-24:

• Wesley Salmon has died (fwd)

Received: 2001-04-21:

• set theory and its neighbours, 25/4, programme (fwd)

Received: 2001-04-17:

• FOM: conference on logic programming etc (fwd)

Received: 2001-04-16:

• LICS 2001 Call for Participation (fwd)

Received: 2001-04-13:

• Thirteenth Annual Alfred Tarski Lectures (fwd)
• MAMLS in Washington, D.C. April 21-22 (fwd)

Received: 2001-04-12:

• [CfP] Foundations of the Formal Sciences (FotFS) III
• REMINDER CFP: 4th Tbilisi Symposium on Language, Logic and Computation (fwd)
• CALL FOR REGISTRATION (early registration deadline: 30 April): European Summer School in Logic, Language and Information (ESSLLI'01), August 13-24, 2001 (Helsinki, Finland) (fwd)

Received: 2001-04-11:

• FOM: IEEE Data Mining 2001: Call for Workshop Proposals (fwd)

Received: 2001-04-09:

• SECOND CALL FOR ABSTRACTS: ESSLLI'01 Workshop 'Finite State Methods in Natural Language Processing' (August 20-24 2001, Helsinki, Finland) (fwd)

Received: 2001-04-05:

• MAMLS in Washington, D.C. April 21-22 (fwd)

Received: 2001-03-25:

• set theory and its neighbours, 25/4/01 (fwd)

Received: 2001-03-22:

• FOM: IAT-2001 Deadline Extension (fwd)

Received: 2001-03-21:

• LICS 2001 Call for Short Presentations (fwd)
• Upcoming MAMLS in sunny Washington, D.C. (fwd)

Received: 2001-03-18:

• [Icm2002] ICM2002-CL8 Fields/Nevanlinna Nominations (fwd)

Received: 2001-03-14:

• DEADLINE EXTENSION: Logic & Games ESSLLI'01 workshop (fwd)
• CSL 2001 -- EXTENSION OF DEADLINE OF SUBMISSIONS (fwd)

Received: 2001-03-12:

• FOM: Final CFP: WI-2001 (Web Intelligence) (fwd)

Received: 2001-03-09:

• FG/MOL 2001 Second CFP (fwd)

Received: 2001-03-06:

• ISMVL 2001 - call for participation (fwd)

Received: 2001-03-02:

• FOM: Final CFP: IAT-2001 (fwd)

Received: 2001-02-28:

• 3rd Call for papers (fwd)
• Beerdigung (fwd)

Received: 2001-02-23:

• FOM: conference announcement (fwd)

Received: 2001-02-22:

• CSL 2001 -- last CALL FOR PAPERS and FOR AFFILIATED WORKSHOPS (fwd)
• FOM: set theory meeting in Idaho (fwd)

Received: 2001-02-20:

• First International Conference on Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics (fwd)
• [HM] CONFERENCE ANNOUNCEMENT (fwd)
• FLOC'02 Call for Workshops (fwd)

Received: 2001-02-14:

• Logic Conference at Rutgers this weekend (fwd)

Received: 2001-02-08:

• FOM: Joe Shoenfield (fwd)

Received: 2001-02-07:

• Announcement Logic Colloquium 2001 (fwd)

Received: 2001-02-05:

• LAST CfP: ESSLLI 2001 Student Session (fwd)

Received: 2001-02-02:

• ESSLLI 2001 Call for Workshop Abstracts: Finite State Methods in Natural Language Processing (fwd)

Received: 2001-02-01:

• [LOGIK] Forwarded mail....

Received: 2001-01-29:

• FOM: BRICS program (fwd)
• FOM: workshop on satisfiability testing (fwd)
• ESSLI 2001 Workshop on Logic and Games (fwd)

Received: 2001-01-24:

• FOM: AAL 2001 (fwd)

Received: 2001-01-16:

• CSL 2001 -- First CALL FOR PAPERS (fwd)

Received: 2001-01-15:

• FOM: Conference announcement (fwd)

Received: 2001-01-12:

• Logic Conference at Rutgers, February 16-19 (fwd)
• FORMAL GRAMMAR/MATHEMATICS OF LANGUAGE'01 (fwd)

Received: 2001-01-11:

• Two Conferences in Turkey: Model Theory in March, Logic & Algebra in May (fwd)
• Announcement: EEF Summer School on Logical Methods (Aarhus) (fwd)
• Logic and Logical Philosophy 3 (fwd)

Received: 2001-01-10:

• FOM: meeting announcements (fwd)

Received: 2001-01-08:

• 2nd CfP: ESSLLI 01 Student Session (fwd)

Received: 2001-01-05:

• BRICS PhD grants, fellowships, and research positions (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