Akka

The Scandinavian Logic Society

News

feed
NOL Seminar with Jan van Plato
DTU tenure track assistant/associate professorship in logic-based AI or algorithms and data structures
The new Executive Committee, Auditor, and Substitute Auditor
4th International Autumn School and Workshop on Proof Theory, Utrecht 7–12 November 2022
SLS general meeting at the SLSS in Bergen on Saturday, June 18
One postdoc or PhD position in the Department of Computer Science, Reykjavik University
NOL Seminar with Øystein Linnebo
The Scandinavian Logic Society – Call for nominations
NOL Seminar with Michael Rathjen
The 2022 Lindström Lectures: Prof Sara Negri
30 Years of Finite Model Theory in Finland
Logic4Peace (Fundraising online Logic event for Peace)
SLSS 2022—third call for for abstracts (extended deadline)
Fourth Nordic Logic Summer School (NLS 2022)
NOL Seminar with Juliette Kennedy
NOL Seminar with Thierry Coquand
Senior lecturer in logic, University of Gothenburg
PhD student position in Cyclic Proofs for Modal and Higher-order Logic, University of Amsterdam
NOL Seminar with Johan van Benthem
World Logic Day public lecture by Tor Sandqvist
Eleventh Scandinavian Logic Symposium (SLSS 2022)
SLSS 2022—first call for abstracts
PhD student position in theoretical philosophy, Stockholm University
NOL Seminar with Lars Birkedal
NOL Seminar with Sara L. Uckelman
NOL Seminar with Erich Grädel
NOL Seminar with Anupam Das
PhD position, Uppsala University
NOL Seminar with Dag Normann
PhD position in Logic, University of Gothenburg
NOL Seminar with Wilfrid Hodges
DTU Tenure track assistant/associate professor in discrete mathematics, algorithms or logic-based AI
NOL Seminar with Jouko Väänänen
ESSLLI 2021
Logica Universalis Webinar
Logica Universalis Webinar: Tore Fjetland Øgaard
NOL Seminar with Dag Prawitz: Validity of inference and argument
Nordic Online Logic Seminar (NOL Seminar)
World Logic Day public lecture by Sven Ove Hansson: Hur långt räcker det logiska tänkandet?
Third edition of the World Logic Day
Workshop on Logics of Dependence and Independence (LoDE 2020V)
Two PhD positions in Logic, Gothenburg (Sweden)
SLSS 2020: Eleventh Scandinavian Logic Symposium
Nordic Logic Summer School 2020 (NLS 2020)
Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
2nd edition of the World Logic Day
13th International Conference on Advances in Modal Logic
Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019
FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems
CiSS 2019 - Circularity in Syntax and Semantics
32nd European Summer School in Logic, Language and Information – ESSLLI 2020
PhD position in theory and applications of dependence logic, Helsinki
Postdoc position in proof systems for modal fixpoint logics, Amsterdam
PhD positions in proof systems for modal fixpoint logics, Amsterdam
KVA workshop on Rational Agency and Logic on November 30
New Executive Committee of the Society
The Tenth Scandinavian Logic Symposium (SLS 2018)
Logic in Stockholm 2017, August 7–25
Third Nordic Logic Summer School (NLS) 2017
SLS Summer School in Logic 2015
9th Scandinavian Logic Symposium
8th Scandinavian Logic Symposium, 20-21 August 2012, Roskilde University, Denmark