Logic List Mailing Archive

LC 2015: Logic Colloquium

3-8 Aug 2015
Helsinki, Finland

**FIRST ANNOUNCEMENT - CALL FOR PAPERS**

                            Logic Colloquium 2015.
       European Summer Meeting of the Association for Symbolic Logic
                   Helsinki, Finland, 3-8 August 2015
                         http://www.helsinki.fi/lc2015

SPEAKERS

Plenary lectures

Toshiyasu Arai (Chiba)

Sergei Artemov (New York)

Steve Awodey (Pittsburgh)

Johan van Benthem (Amsterdam and Stanford)

Artem Chernikov (Paris)

Ilias Farah (York)

Danielle Macbeth (Haverford)

Andrei Morozov (Novosibirsk)

Kobi Peterzil (Haifa)

Ralf Schindler (Mnster)

Saharon Shelah (TBC) (Jerusalem and Rutgers)

Sebastiaan Terwijn (Nijmegen)

Tutorials

Erich Grdel (Aachen)

Menachem Magidor (Jerusalem).

Special sessions

SET THEORY
organized by Heike Mildenberger (Freiburg)

MODEL THEORY
organized by Dugald Macpherson (Leeds)

COMPUTABILITY THEORY
organized by Russell Miller (New York) and Alexandra Soskova (Sofia)

PROOF THEORY
organized by Benno van den Berg (Amsterdam) and Michael Rathjen (Leeds)

PHILOSOPHY OF MATHEMATICS AND LOGIC
organized by Patricia Blanchette (Notre Dame) and Penelope Maddy (Irvine)

LOGIC AND QUANTUM FOUNDATIONS
organized by Samson Abramsky (Oxford)


LC2015 is co-located with CLMPS 2015: http://clmps.helsinki.fi and with 
the Scandinavian Logic Society Summer School in Logic: 
http://www.helsinki.fi/sls2015

TRAVEL AWARDS

Travel awards for students and young researchers have been made available 
by the organizers.  In some cases full compensation of expenses is 
possible.  The website includes detailed information about the awards, 
instructions of how to apply, and an electronic form which may be used for 
the application. The deadline for travel award applications is Tuesday, 
May 3, 2015.

CONTRIBUTED PAPERS

Please see the conference website (http://www.helsinki.fi/lc2015) for 
information about submitting an abstract for a contributed 20-minute talk.