Logic Colloquium 2015, August 3-8, 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.

Plenary lectures

Toshiyasu Arai (Chiba)
Sergei Artemov (New York)
Steve Awodey (Pittsburgh)
Johan van Benthem (Amsterdam and Stanford)
Artem Chernikov (Paris)
Ilijas Farah (York)
Danielle Macbeth (Haverford)
Andrei Morozov (Novosibirsk)
Kobi Peterzil (Haifa)
Ralf Schindler (Münster)
Sebastian Terwijn (Nijmegen)

Tutorials

Erich Grädel (Aachen)
Menachem Magidor (Jerusalem).

Special sessions

SET THEORY
organized by Heike Mildenberger (Freiburg)

  • Laura Fontanella (Jerusalem)
  • Peter Holy (Vienna)
  • Alexandra Kwiatowska (UCLA)
  • Philipp Schlicht (Bonn)

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)

 

Colloquium deadlines

15 January 2015 Call for papers starts
15 January 2015 Conference registration opens
3 May 2015 CFP, deadline for contributed talks
3 May 2015 Deadline for the ASL support grant applications
25 May 2015 Decisions on ASL support grants
25 May 2015 Notifications of Acceptance
31 May 2015 Deadline for early registrations
15 June 2015 Preliminary programme announced
13 July 2015 No more refunds for cancellations
3-8 August 2015 LC 2015, University of Helsinki

Attachments

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.