Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

The event

The Logic Colloquium 2017 is the 2017 annual European summer meeting of the Association of Symbolic Logic ASL and will be held during August 14-20, 2017 at the main campus of Stockholm University.

Our poster for the Logic Colloquium 2017 can be found here.

The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University and also supported by the KTH Royal Institute of Technology.

It will be co-located with the Third Nordic Logic Summer School and the 26th Annual Conference of the European Association for Computer Science Logic CSL 2017.

Current news and further information about activities of the Association for Symbolic Logic can be found in the ASL newsletters here.

Important Dates

Events

  • Main event: August 14-19, 2017
  • Joint session with CSL 2017: August 20, 2017

Submissions

  • Abstracts: May 5, 2017
  • Notification: May 19, 2017

Grant applications

  • Application deadline: TBA

Registration deadlines

  • Early registration: June 9, 2017
  • Late registration: August 1, 2017

Submissions

Abstracts of contributed talks must be submitted as pdf files via this EasyChair page, prepared according to the ASL instructions here. (If you do not have an EasyChair-account yet, you can create one at the submission site.)

Please enter Title and Abstract as plain text. As the first keyword, put the AMS 2010 classification: 03xxx

The deadline for abstract submission is May 5, 2017.

Abstracts of contributed talks submitted by ASL members 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 .tex source files.

Grant applications

Please see the instructions for grant applications.

Location and venue

The conference will take place in Stockholm, Sweden. The venue will be in Frescati campus, the main campus of Stockholm University, see description and campus maps here: and here.

More information can be found on our main page Logic in Stockholm 2017.

Contact

The co-chairs of the Organizing committee of CSL’2017 are Valentin Goranko (SU) and Erik Palmgren (SU). The programme chair of LC’2017 is Mirna Dzamonia.
Enquiries on scientific matters should be sent to her, and on organisational matters, to lc2017 <at> philosophy.su.se.

Organized by