University of Calgary
UofC Navigation

CfP: 2015 Logic Colloquium in Helsinki

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Sun, 01/18/2015 - 8:25am

First Announcement & Call for Abstracts

Logic Colloquium 2015
European Summer Meeting of the Association for Symbolic Logic

Helsinki, Finland, 3-8 August 2015
http://www.helsinki.fi/lc2015

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

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 (Münster)
Saharon Shelah (TBC) (Jerusalem and Rutgers)
Sebastiaan Terwijn (Nijmegen)

Tutorials

Erich Grädel (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)

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.