the scandinavian logic society

slideshow 1

New Executive Committee of the Society

On June 15th, after a nomination process, the former president of SLS and chair of the election committee announced the following new president and new executive committee of the society.

the scandinavian logic society

Our aim at present is to develop this website for the purpose of sharing information on all matters related to logic in the Scandinavian countries. 
We wish the Society to construe the concept of logic as broadly as possible, including the fields computer science, philosophy, mathematics and linguistics.

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.

PhD position in theory and applications of dependence logic, Helsinki

The Department of Mathematics and Statistics at the University of Helsinki invites applications for a three-year doctoral student position (with a possibility of extension if further funding can be obtained later) in a research project on “Logical analysis of no-go theorems in social choice and quantum foundations”. This multidisciplinary project aims to apply the methodology of dependence logic to develop formal connections between no-go theorems in social choice theory (such as Arrow’s Theorem) and in quantum foundations (such as Bell’s Theorem).

PhD positions in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 4 years fully-funded, starting September 2019 or shortly thereafter
* Deadline for applications: 14 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for two fully funded four-year PhD positions on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see

Postdoc position in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 3 years, starting September 2019 or shortly thereafter
* Deadline for applications: 28 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a three-year position at the postdoc level on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see

Pages

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