First Announcement & Call for Abstracts
Logic Colloquium 2015
European Summer Meeting of the Association for Symbolic Logic
Helsinki, Finland, 3-8 August 2015
The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic.
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 (Münster)
Saharon Shelah (TBC) (Jerusalem and Rutgers)
Sebastiaan Terwijn (Nijmegen)
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)
Travel Awards and Contributed Talks
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 Logic Colloquium will include contributed talks of 20 minutes’ length. Abstracts on contributed talks are published in the Bulletin of Symbolic Logic.
The deadline for travel award applications and abstract submission is Tuesday, May 3, 2015. Please see http://www.helsinki.fi/lc2015/submission.html for information about applying for travel awards and for submitting an abstract.