[TYPES] Logic Colloquium 2004 - Call for participation

Stephanie Weirich sweirich at cis.upenn.edu
Tue Jun 8 16:15:30 EDT 2004


CALL FOR PARTICIPATION - LC2004

Logic Colloquium 2004 (LC2004)
http://lc2004.unito.it/
(early registration deadline: 14th June 2004)
-------------------------------------------------------------

LC2004 is the annual meeting of the Association of Symbolic Logic, in 
fact the worldwide official congress dedicated
to the state-of-the-art of all branches of pure and applied logic.

LC2004 will be held in Torino, 25-31 July 2004. Conference themes 
encompass all aspects of symbolic logic and its applications,
including computer science. A special session, in the present year, will 
be devoted to devoted to universal algebra.

The deadline for early registration has been extended to June 14. Until 
that date you can still register to the LC2004 for 180 euro --- after 
that date the registration fee will be 230 euro.

Some info about the forthcoming conference (more may be found in the web 
page above):

Plenary speakers
John Baldwin
Tomek Bartoszynski
Alessandro Berarducci
Alberto Marcone
Grigori Mints
Michael Möllerfeld
Frank Stephan
Göran Sundholm
Guglielmo Tamburrini
Matthew Valeriote
Hugh Woodin

Tutorials
Alexander Kechris
Thomas Scanlon
Slawomir Solecki
Reed Solomon
Ross Willard

Special sessions
Model Theory
Proof Theory
Universal Algebra
Panel Discussion
Dag Prawitz (moderator)
Mirella Capozzi, Cesare Cozzo, Riccardo Pozzo







-- 
Prof. Stefano Berardi
Dipartimento di Informatica
Universita' di Torino
C. Svizzera 185 - 10149 TORINO - ITALY
stefano at di.unito.it
http://www.di.unito.it/~stefano


More information about the Types-list mailing list