the scandinavian logic society

slideshow 1

Events

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:

Third Nordic Logic Summer School (NLS) 2017

Stockholm, August 7 - 11, 2017

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society (http://scandinavianlogic.org/). The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). 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. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

New Master's Program in Logic at the University of Gothenburg

The Department of Philosophy, Linguistics & Theory of Science is pleased to announce the inauguration of the Master's Program in Logic. The program will be launched in Autumn of 2016.

More information can be found at http://flov.gu.se/mil

Please note that the deadline for applicants from non-EU/EEA countries for Autumn of 2016 has already passed, but applicants from EU/EEA countries, and others not in need of a Swedish resident permit can still apply until 11:59 PM (Sweden time) of April 15, 2016.

Logic Session at the 27th Nordic Congress of Mathematicians

19 March 2016, Stockholm

The 27th Nordic Congress of Mathematicians (16-20 March 2016 in Stockholm) celebrates the 100th anniversary of Institut Mittag-Leffler. The founder of the institute Gösta Mittag-Leffler (1846 - 1927) was an early supporter of Georg Cantor and his set theory.

The Emergence of Structuralism and Formalism, June 24.- 26. 2016 Prague, Czech Republic

Keynote Speakers:
S. Shapiro
M. Detlefsen
M. Resnik
L. Horsten

PhDs in Logic VIII, Darmstadt, Germany, May 9-11, 2016

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science. It involves tutorials by established researchers as well as short presentations by PhD students on their research.

We are happy to announce that the next edition of "PhDs in Logic" will take place in Darmstadt, Germany, during May 9-11 2016, hosted by the Logic research group of the Department of Mathematics, TU Darmstadt.

4th International Conference on Tools for Teaching Logic, 9-12 June 2015, Rennes, France

Tools for Teaching Logic seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e¬Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.

Logic Colloquium 2015

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015.

Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic.

15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS).

3-8 August 2015, Helsinki

The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is “Models and Modelling”. A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.

Pages

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