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 (Muenster)
Saharon Shelah (TBC) (Jerusalem and Rutgers)
Sebastiaan Terwijn (Nijmegen)
Tutorials
Erich Graedel (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.