the scandinavian logic society

slideshow 1

SLSS 2020: Eleventh Scandinavian Logic Symposium University of Bergen, Norway, June 26-28, 2020

Conference website: https://scandinavianlogic2020.w.uib.no/
Submission link: https://easychair.org/conferences/?conf=slss2020
Submission deadline: April 3, 2020

The eleventh Scandinavian Logic Symposium (SLSS 2020) will be held at the University of Bergen, Norway, during 26-28 June, 2020, under the auspices of the Scandinavian Logic Society. The previous three meetings of the SLS were held in Gothenburg, Sweden (2018), Tampere, Finland
(2014) and Roskilde, Denmark (2012).

Fourth Nordic Logic Summer School (NLS 2020)

Nordic Logic Summer School 2020
University of Bergen, Norway, June 22-25, 2020

The fourth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The three previous schools were organised in Nordfjordeid, Norway (2013), Helsinki, Finland (2015) and Stockholm, Sweden (2017). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject

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).

Pages

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