Logic Colloquium 2017, August 14-20, 2017

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held
during August 14-20, 2017 at the main campus of Stockholm University. The
Logic Colloquium 2017 is organised and hosted jointly by the Departments
of Mathematics and Philosophy at Stockholm University, and is also
supported by the KTH Royal Institute of Technology.

LC2017 will be co-located with two other logic-related events, all taking
place at Stockholm University:
— the 3rd Nordic Logic Summer School, NLS2017, August 7-12
— the 26th EACSL Annual Conference on Computer Science Logic, CSL2017,
August 20-24.

There will be a joint session of CSL2017 and LC2017 in the morning of
August 20.
Further information about all events can be found on
https://www.lis17.conf.kth.se

INVITED SPEAKERS
——————————
Plenary speakers:
• David Aspero (University of East Anglia)
• Alessandro Berarducci (Pisa)
• Elisabeth Bouscaren (Paris 11)
• Christina Brech (Sao Paolo)
• Sakae Fuchino (Kobe University)
• Denis Hirschfeldt (University of Chicago)
• Wilfrid Hodges (British Academy)
• Emil Jerabek (Prague)
• Per Martin-Löf (Stockholm University)
• Dag Prawitz (Stockholm University)
• Sonja Smets (University of Amsterdam)

Tutorial speakers:
• Patricia Bouyer-Decitre (LSV ENS Cachan)
• Mai Gehrke (Paris 7)

LC-CSL joint session highlight speakers:
• Veronica Becher (Buenos Aires)
• Pierre Simon (UC Berkeley)

Special session on set theory

  • William Chen (Ben Gurion University)
  • Brent Cody (Virginia Commonwealth University, USA)
  • Ashutosh Kumar (Hebrew University, Jerusalem)
  • Giorgio Laguzzi (Freiburg University)
  • Yann Pequignot (University of California, Los Angeles)
  • Sandra Uhlenbrock (University of Vienna)

SUBMISSIONS OF CONTRIBUTED TALKS
———————
Abstracts of contributed talks must be submitted as pdf files via this
EasyChair page: https://easychair.org/conferences/?conf=lc2017
(If you do not have an EasyChair-account yet, you can create one at the
submission site.)

The abstracts must be prepared according to the ASL instructions here:
http://www.aslonline.org/rules_abstracts.html
Please enter Title and Abstract as plain text. As the first keyword, put
the AMS 2010 classification: 03xxx

Abstracts of contributed talks submitted by ASL members, which are
accepted and prepared according to the ASL Rules for Abstracts will be
published in The Bulletin of Symbolic Logic. Upon notification of
acceptance, authors will be requested to submit the LaTex source files.

ASL will provide some student grants for participation at the LC2017.

IMPORTANT DATES:
—————————————————————————

Abstract submission for contributed talks: May 5, 2017
Notification: TBA
—————————————————————————

PROGRAMME COMMITTEE
——————-
• Rod Downey (University of Wellington)
• Mirna Dzamonja (PC chair, University of East Anglia)

• Ali Enayat (University of Gothenburg)
• Fernando Ferreira (University of Lisbon)
• Valentin Goranko (Stockholm University)
• Martin Hils (University of Münster)
• Sara Negri (University of Helsinki)
• Assaf Rinot (Bar-Ilan University)
• Igor Walukiewicz (University of Bordeaux)

ORGANISING COMMITTEE
——————–
• Mads Dam, Department of Theoretical Computer Science, KTH
• Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm
University
• Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of
Technology
• Eric Johannesson, Department of Philosophy, Stockholm University
• Vera Koponen, Department of Mathematics, Uppsala University
• Roussanka Loukanova, Department of Mathematics, Stockholm University
• Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
• Peter Pagin, Department of Philosophy, Stockholm University
• Anders Lundstedt, Department of Philosophy, Stockholm University
• Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm
University
• Dag Westerståhl, Department of Philosophy, Stockholm University

CONTACTS AND ENQUIRIES:
——————–
For enquiries on scientific and programme issues, send email to Mirna
Dzamonja, M.Dzamonja@uea.ac.uk
For enquiries on organising matters, send email to:
lc2017<at>philosophy.su.se

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.