Logic List Mailing Archive

Logic Colloquium 2001 -- extended deadline (fwd)

---------- Forwarded message ----------
Date: Wed, 2 May 2001 12:34:51 -0400
 Subject: LC2001 extended deadline

	 [Apologies for multiple copies of this announcement]


	 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
	 +                                                    +
	 +     THIRD ANNOUNCEMENT and EXTENDEND DEADLINE      +
	 +                                                    +
	 ++++++++++++++++++++++++++++++++++++++++++++++++++++++


		      LOGIC COLLOQUIUM 2001

			 August 6-11,2001	
			 Vienna, AUSTRIA

		   http://www.logic.at/LC2001

 [More details about registration, accomodation, application 
  for travel grants etc. are available at the web page]


 LC2001, the 2001 European Summer Meeting of the Association of
 Symbolic Logic (ASL) will take place in Vienna. LC2001 starts on
 Monday, August 6 and runs till Saturday, August 11. The conference
 venues are the Vienna University of Technology and the University of
 Vienna. 

 These venues were chosen to celebrate the 70th anniversary of the 
 publication of G?del's famous Incompleteness Theorem. In 1931 
 Kurt G?del was working in Vienna and lecturing at the University 
 of Vienna. 

 The Logic Colloquium is the major international conference which 
 integrates all fields of mathematical logic and its applications. 
 Owing to its interdisciplinary and foundational character, it brings 
 together outstanding researchers and students not only in classical 
 logic, but also in fields such as theoretical computer science, 
 computational logic, artificial intelligence, linguistics, and 
 philosophy of logic and mathematics. 
 The Logic Colloquium provides an important opportunity 
 for young researchers to disseminate their results and to obtain 
 feedback both from their peers and from senior members of the 
 community. 

 The program will include 15 plenary talks. 
 The 'Colloquium' has 6 different sessions:

     Set Theory
     Model Theory
     Proof Theory and Proof Search
     Computability Theory
     Philosophy and History of Logic	 
     Computer Science and Complexity Theory

 In addition, LC2001 will include two tutorials. Owing to the
 scientific heritage of Vienna, two evening events have been planned,
 which are open to the public. 


 PLENARY SPEAKERS include

     Toshiyasu Arai (Hiroshima)
     Steve Awodey (Pittsburgh)
     James Cummings (Pittsburgh) 
     Rod Downey (Wellington)
     Harvey Friedman (Columbus)
     Warren Goldfarb (Cambridge, USA) 
     Olga Kharlampovich (Montreal)
     Julia Knight (Notre Dame)
     Michiel van Lambalgen (Amsterdam)
     Chris Miller (Columbus)
     Ran Raz (Rehovot/Princeton)
     Saharon Shelah (Jerusalem)
     Jouko V??n?nen (Helsinki)
     Frank Wagner (Lyon)
     Stan Wainer (Leeds)

 We are glad to announce Gaisi Takeuti as one of the 
 speakers for the special evening lectures. 


 SUBMISSION of ABSTRACTS

 Abstracts of contributed talks are limited to 300 words, including   
 title, headings and references. They must be submitted in hard 
 copy by ordinary mail or in a plain text email. Electronically 
 submitted abstracts should be either plain text or in PostScript
 format.  

 DEADLINE EXTENSION:
 The EXTENDED deadline for submission of abstracts is June 1, 2001. 

 The abstracts of all keynote lectures will be published in the 
     'Bulletin of Symbolic Logic'. 
 The abstracts of contributed talks will be published in the
 'Bulletin', provided at least one author is a member of the
 ASL. Abstracts of all lectures and talks will appear in a volume
 handed out to the participants of the Colloquium. 


 TRAVEL GRANTS

 Travel grant submission is closed.


 REGISTRATION

 Please register electronically at http//www.logic.at/LC2001.


 IMPORTANT DATES

     Submission of Abstracts: June 1, 2001


 PROGRAM COMMITTEE CHAIR
     Jan Krajicek, Academy of Sciences of the Czech Republic 
     email: krajicek@math.cas.cz.

 ORGANIZING COMMITTEE CHAIR
     Matthias Baaz, Vienna Universtity of Technology 
     email: baaz@logic.at


 PROGRAM COMMITTEE
     M. Arslanov (Kazan)
     M. Baaz (Vienna)
     W. Buchholz (Munich)
     S. Friedman (Vienna)
     D. Isaacson (Oxford) 
     C. Jockusch (Urbana-Champaign)
     J. Krajicek (Prague), Chair
     L. Newelski (Wroclaw), resigned in April'00
     J. Paris (Manchester) 
     JP. Ressayre (Paris)
     L. van den Dries (Urbana-Champaign) 
     B. Velickovic (Paris)
     A. Visser (Amsterdam)


 *********************************************************************