Logic List Mailing Archive

LC2003: First Announcement and Call for Papers

Apologies to those of you who receive this more than once


                  **FIRST ANNOUNCEMENT-CALL FOR PAPERS**

=09=09
=09=09          Logic Colloquium '03.
              
       European Summer Meeting of the Association for Symbolic Logic       
 
=09          
                      
                   Helsinki, Finland, 14-20 August 2003
           
 =09              http://www.helsinki.fi/lc2003/=09


NOTE: To receive the Second Announcement and other e-mail notices,
you need to join the conference mailing list. See the instructions
near the bottom of this message.


Tutorials:

Michael Benedict, Bell Labs
Stevo Todorcevic, Paris

Plenary Speakers:

Alexandru Baltag, Oxford
Howard S. Becker, South Carolina
Zo? Chatzidakis, Paris
Matthew Foreman, Irvine
Jean-Yves Girard, Marseille
Martin Grohe, Edinburgh
Peter T. Johnstone, Cambridge
Simo Knuuttila, Helsinki
Menachem Kojman, Be'er-Sheva
Michael C. Laskowski, Maryland
Per Martin-L?f, Stockholm
Larisa Maksimova, Novosibirsk
Dag Normann, Oslo
Graham Priest, Melbourne
Pavel Pudl?k, Prague
Michael Rathjen, Leeds
Saharon Shelah, Jerusalem and Rutgers
Richard A. Shore, Cornell

Special Sessions:

Model Theory

Tuna Altinel, Lyon
Matthias Aschenbrenner, Berkeley
Tapani Hyttinen, Helsinki
Wai Yan Pong, Urbana

Set Theory

Arthur W. Apter, CUNY
Steve Jackson, North Texas
Heike Mildenberger, Vienna
Maurice C. Stanley, San Jose

Recursion Theory and Arithmetic

Klaus Ambos-Spies, Heidelberg
Oleg V. Kudinov, Novosibirsk
Chris Pollet, San Jose
John V. Tucker, Swansea

Proof Theory and Non-classical Logic

Ralph Matthes, Munich
Erik Palmgren, Uppsala
Jeff Paris, Manchester
Tarmo Uustalu, Tallinn

                 
Program Committee: 

Peter Aczel, Zofia Adamowicz, John Baldwin, Elizabeth Bouscaren, Michael
Detlefsen, Moti Gitik, Lauri Hella, Thomas Jech, Rohit Parikh, Helmuth
Schwichtenberg, Ted Slaman, Viggo Stoltenberg-Hansen (chair), Jouko
V??n?nen. 
  
Organizing Committee: 
 
Aapo Halko, Alex Hellsten, Taneli Huuskonen, Juliette Kennedy, Juha
Kontinen, Kerkko Luosto, Juha Oikkonen, Matti Pauna, Juha Ruokolainen,
Maria Saria, Pauli V?is?nen, Jouko V??n?nen (chair).

Submissions:

Abstracts of contributed papers should be received before the deadline
of May 1, 2003. For details, see
http://www.helsinki.fi/lc2003/contributed.html .

Registration:

The registration details will be made available on the Web page
http://www.helsinki.fi/lc2003/registration.html  in January 2003.

Mailing list:

To receive further notices about the Logic Colloquium 2003, you
should join the conference mailing list by sending mail to
majordomo@helsinki.fi  with the following line in the message body
(please note the hyphen):

subscribe lc-2003

More detailed instructions can be found on the web page
http://www.helsinki.fi/lc2003/mailinglist.html .

The official meeting address: 

LC2003, Department of Mathematics, University of Helsinki, P.O. Box 4
(Yliopistonkatu 5), FIN-00014 University of Helsinki, Finland.