FOM: Logic Colloquium 2001

[Stephen G Simpson]

 From: Logic Colloquium 2001 <lc2001 at logic.at>
 Subject: LC2001 Call for Participation
 Date: Sat, 26 May 2001 18:25:42 +0200

	 [Apologies for multiple copies of this announcement]


	 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
	 +                                                    +
	 +     LC 2001          CALL FOR PARTICIPATION        +
	 +                                                    +
	 ++++++++++++++++++++++++++++++++++++++++++++++++++++++


		      LOGIC COLLOQUIUM 2001

			 August 6-11,2001	
			 Vienna, AUSTRIA

		   http://www.logic.at/LC2001


 [More details about registration, accomodation, are available at the web page]


 The 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 program will include 15 PLENARY TALKS by

     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)

 The 'Colloquium' has 6 different SESSIONS:

     SET THEORY		
     Speakers:		Mirna Dzamonja (Norwich)
			 Ralf-Dieter Schindler (Vienna)
			 Jindrich Zapletal (Gainesville) 

     MODEL THEORY	
     Speakers:		Paola D'Aquino (Naples)
			 Bruno Poizat (Lyon)
			 Rahim Moosa (Urbana) 

     PROOF THEORY and PROOF SEARCH
     Speakers:		Ulrich Berger (Swansea) 
			 Andrea Cantini (Firenze) 
			 Andrei Voronkov (Manchester) 

     COMPUTABILITY THEORY
     Speakers:		Denis Hirschfeldt (Chicago)
			 Iskander Kalimullin (Kazan)
			 Frank Stephan (Heidelberg) 

     PHILOSOPHY and HISTORY of LOGIC	
     Speakers:		Sahotra Sarkar (Austin)
			 Sergei Artemov (Ithaca)
			 Karl-Georg Niebergall (München)			

     COMPUTER SCIENCE and COMPLEXITY THEORY	
     Speakers:		Dov Gabbay (London)
			 Pascal Koiran (Lyon)
			 Daniel Lehmann (Jerusalem) 

 In addition, LC2001 will include two TUTORIALS. 

     Itay Neeman (Berlin)
     Alex Leitsch (Vienna)


 Owing to the scientific heritage of Vienna, two evening events have been planned,
 which are open to the public. We are glad to announce 

     Gaisi Takeuti 

 as one of the speakers for the special evening lectures. 

 EARLY REGISTRATION
 Registration is possible till the beginning of the Conference, 
 but the EARLY REGISTRATION deadline is 

     JUNE 10, 2001. 

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

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

 ORGANIZING COMMITTEE CHAIR
     Matthias Baaz, Vienna Universtity of Technology 
     email: baaz at 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)