|
2024-11-11
|
NOL Seminar with Wesley Holliday
|
|
2024-10-14
|
NOL Seminar with Åsa Hirvonen
|
|
2024-09-19
|
NOL Seminar with Nina Gierasimczuk
|
|
2024-08-20
|
Tenure track position in Discrete Mathematics, Tampere University (Finland)
|
|
2024-08-19
|
NOL Seminar with Eric Pacuit
|
|
2024-07-02
|
Associate Senior Lecturer in Logic, Gothenburg (Sweden)
|
|
2024-06-04
|
Autumn school “Proof and Computation”, Fischbachau (Germany), 15–21 Sep 2024
|
|
2024-05-08
|
NOL Seminar with Ivano Ciardelli
|
|
2024-05-08
|
NOL Seminar with Ana María Mora-Márquez
|
|
2024-03-17
|
SLSS 2024 Call for abstracts
|
|
2024-03-17
|
NOL Seminar with Albert Visser
|
|
2024-03-17
|
NLS 2024 Call for participation
|
|
2024-02-21
|
2024 Lindström Lectures: Phokion G. Kolaitis
|
|
2024-02-18
|
NOL Seminar with Lauri Hella
|
|
2024-01-08
|
NOL Seminar with Peter Pagin
|
|
2023-12-02
|
NOL Seminar with Göran Sundholm
|
|
2023-11-24
|
Computability in Europe 2024, July 8–12, 2024, Amsterdam, The Netherlands
|
|
2023-11-14
|
NOL Seminar with Sonja Smets
|
|
2023-10-09
|
NOL Seminar with Dag Westerståhl
|
|
2023-09-28
|
Logic Colloquium 2024, Gothenburg, 24–28 June 2024
|
|
2023-09-18
|
NOL Seminar with Thomas Bolander
|
|
2023-08-15
|
NOL Seminar with Thomas Ågotnes
|
|
2023-06-19
|
European Society for the Philosophy of Mathematics
|
|
2023-06-19
|
1st Conference of the European Society for the Philosophy of Mathematics
|
|
2023-05-10
|
NOL Seminar with Magdalena Ortiz
|
|
2023-05-02
|
The 2023 Lindström Lectures: Rineke Verbrugge
|
|
2023-04-24
|
ESSLLI 2023
|
|
2023-04-17
|
FOMTL 2023: Final call for submissions (deadline extended to Apr 23)
|
|
2023-04-13
|
NOL Seminar with Neil Tennant
|
|
2023-03-24
|
FOMTL 2023: Call for submissions
|
|
2023-03-16
|
NOL Seminar with Ali Enayat
|
|
2023-02-06
|
Two Postdoc positions in Logic, Gothenburg (Sweden)
|
|
2023-02-06
|
PhD student position in Logic, Gothenburg (Sweden)
|
|
2023-02-06
|
NOL Seminar with Sven Ove Hansson
|
|
2023-01-10
|
World Logic Day public lecture by John Cantwell (in Swedish)
|
|
2023-01-10
|
NOL Seminar with Vann McGee
|
|
2022-12-09
|
NOL Seminar with Alexandru Baltag
|
|
2022-11-12
|
The 2022 Thoralf Skolem Memorial Lecture
|
|
2022-11-11
|
NOL Seminar with Laura Crosilla
|
|
2022-10-24
|
Grants for a logic summer school in Brazil
|
|
2022-10-10
|
Symposium in honor of the 2022 Rolf Schock prize recipient David Kaplan
|
|
2022-10-10
|
Symposium in honor of the 2020 Rolf Schock prize recipients Dag Prawitz and Per Martin-Löf
|
|
2022-10-10
|
NOL Seminar with Melvin Fitting
|
|
2022-09-13
|
NOL Seminar with Jan van Plato
|
|
2022-09-03
|
DTU tenure track assistant/associate professorship in logic-based AI or algorithms and data structures
|
|
2022-06-24
|
The new Executive Committee, Auditor, and Substitute Auditor
|
|
2022-06-21
|
4th International Autumn School and Workshop on Proof Theory, Utrecht 7–12 November 2022
|
|
2022-06-08
|
SLS general meeting at the SLSS in Bergen on Saturday, June 18
|
|
2022-05-19
|
One postdoc or PhD position in the Department of Computer Science, Reykjavik University
|
|
2022-05-10
|
NOL Seminar with Øystein Linnebo
|
|
2022-05-05
|
The Scandinavian Logic Society – Call for nominations
|
|
2022-04-11
|
NOL Seminar with Michael Rathjen
|
|
2022-04-06
|
The 2022 Lindström Lectures: Prof Sara Negri
|
|
2022-04-04
|
30 Years of Finite Model Theory in Finland
|
|
2022-03-30
|
Logic4Peace (Fundraising online Logic event for Peace)
|
|
2022-03-20
|
SLSS 2022—third call for for abstracts (extended deadline)
|
|
2022-03-20
|
Fourth Nordic Logic Summer School (NLS 2022)
|
|
2022-03-14
|
NOL Seminar with Juliette Kennedy
|
|
2022-02-09
|
NOL Seminar with Thierry Coquand
|
|
2022-01-26
|
Senior lecturer in logic, University of Gothenburg
|
|
2022-01-26
|
PhD student position in Cyclic Proofs for Modal and Higher-order Logic, University of Amsterdam
|
|
2022-01-05
|
NOL Seminar with Johan van Benthem
|
|
2021-12-28
|
World Logic Day public lecture by Tor Sandqvist
|
|
2021-12-28
|
Eleventh Scandinavian Logic Symposium (SLSS 2022)
|
|
2021-12-28
|
SLSS 2022—first call for abstracts
|
|
2021-12-02
|
PhD student position in theoretical philosophy, Stockholm University
|
|
2021-12-02
|
NOL Seminar with Lars Birkedal
|
|
2021-11-05
|
NOL Seminar with Sara L. Uckelman
|
|
2021-10-12
|
NOL Seminar with Erich Grädel
|
|
2021-09-16
|
NOL Seminar with Anupam Das
|
|
2021-06-24
|
PhD position, Uppsala University
|
|
2021-05-28
|
NOL Seminar with Dag Normann
|
|
2021-05-17
|
PhD position in Logic, University of Gothenburg
|
|
2021-05-04
|
NOL Seminar with Wilfrid Hodges
|
|
2021-05-04
|
DTU Tenure track assistant/associate professor in discrete mathematics, algorithms or logic-based AI
|
|
2021-04-07
|
NOL Seminar with Jouko Väänänen
|
|
2021-03-24
|
ESSLLI 2021
|
|
2021-03-22
|
Logica Universalis Webinar
|
|
2021-03-22
|
Logica Universalis Webinar: Tore Fjetland Øgaard
|
|
2021-03-17
|
NOL Seminar with Dag Prawitz: Validity of inference and argument
|
|
2021-03-16
|
Nordic Online Logic Seminar (NOL Seminar)
|
|
2020-12-15
|
World Logic Day public lecture by Sven Ove Hansson: Hur långt räcker det logiska tänkandet?
|
|
2020-12-15
|
Third edition of the World Logic Day
|
|
2020-10-12
|
Workshop on Logics of Dependence and Independence (LoDE 2020V)
|
|
2020-04-13
|
Two PhD positions in Logic, Gothenburg (Sweden)
|
|
2020-02-18
|
SLSS 2020: Eleventh Scandinavian Logic Symposium
|
|
2020-02-18
|
Nordic Logic Summer School 2020 (NLS 2020)
|
|
2020-01-26
|
Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
|
|
2019-12-21
|
2nd edition of the World Logic Day
|
|
2019-10-30
|
13th International Conference on Advances in Modal Logic
|
|
2019-08-28
|
Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019
|
|
2019-06-14
|
FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems
|
|
2019-04-09
|
CiSS 2019 - Circularity in Syntax and Semantics
|
|
2019-03-29
|
32nd European Summer School in Logic, Language and Information – ESSLLI 2020
|
|
2019-03-14
|
PhD position in theory and applications of dependence logic, Helsinki
|
|
2019-03-11
|
Postdoc position in proof systems for modal fixpoint logics, Amsterdam
|
|
2019-03-11
|
PhD positions in proof systems for modal fixpoint logics, Amsterdam
|
|
2018-08-11
|
KVA workshop on Rational Agency and Logic on November 30
|
|
2018-06-15
|
New Executive Committee of the Society
|
|
2017-09-18
|
The Tenth Scandinavian Logic Symposium (SLS 2018)
|
|
2017-04-18
|
Logic in Stockholm 2017, August 7–25
|
|
2016-11-18
|
Third Nordic Logic Summer School (NLS) 2017
|
|
2014-11-09
|
SLS Summer School in Logic 2015
|
|
2013-12-16
|
9th Scandinavian Logic Symposium
|
|
2012-08-21
|
8th Scandinavian Logic Symposium, 20-21 August 2012, Roskilde University, Denmark
|
