the scandinavian logic society

slideshow 1

Events

13th International Conference on Advances in Modal Logic

HELSINKI, 17 AUGUST – 21 AUGUST 2020

https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net

Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019

The University of Barcelona offers a PhD position in collaboration with the Catalan industrial sector. The industrial component of the PhD revolves around the development and verification of legal software in Coq within Formal Vindications SL (http://formalvindications.com/). This work will be complemented with the formalization of parts of logic/mathematics.

FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems

University of Dortmund, Germany, Feb. 17-21, 2020

Conference website: https://foiks2020.cs.tu-dortmund.de/
Submission link: https://easychair.org/conferences/?conf=foiks2020
Submission deadlines: September 11, 2019 (abstract), September 18, 2019 (paper)

CiSS 2019 - Circularity in Syntax and Semantics

November 20-22, 2019, Gothenburg, Sweden
http://www.cse.chalmers.se/~bahafs/CiSS2019/

The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. As well as invited speakers there will be sessions for contributed talks.

32nd European Summer School in Logic, Language and Information - ESSLLI 2020

3-14 August, 2020, Utrecht, The Netherlands
https://www.esslli.eu

Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.

KVA workshop on Rational Agency and Logic on November 30

A one-day workshop on Rational Agency and Logic will be held in Stockholm at the Royal Swedish Academy of Sciences (KVA), in Linnésalen, on Friday, November 30, 2018, during 09:30 – 16:50.

The speakers are Rineke Verbrugge (Groningen), Marek Sergot (Imperial, London), Alexandru Baltag (ILLC, Amsterdam), Sonja Smets (ILLC, Amsterdam), and Valentin Goranko (Stockholm).

Workshop on Proof Theory and its Applications Ghent, 6-7 Sep 2018

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion.

More information available at http://www.proofsociety.org/workshop-2018/

Summer School on Proof Theory, Ghent, 2-5 Sep 2018

The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society.

The Tenth Scandinavian Logic Symposium (SLS 2018)

The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, Denmark (2012).

Logic in Stockholm 2017, August 7-25

https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2
There will be a series of logic-related events in Stockholm in August 2017.

August 7–11
The Third Nordic Logic Summer School, NLS 2017

August 14–20
The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017

August 20–24
The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017

August 16–19 and 25
CSL 2017 affiliated workshops:

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.