the scandinavian logic society

slideshow 1

The Tenth Scandinavian Logic Symposium (SLS 2018)

The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, Denmark (2012).

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.

We are proud to announce that the 2018 Lindström Lectures will be a part of SLS 2018 and delivered by Michael Rathjen. For more information see Lindström lectures webpage

SLS 2018 is collocated with the Workshop on Dialogue and Perception 2018, June 14-15, 2018.

Important dates

  • Abstract deadline: April 1, 2018 Extended to: April 8, 2018.
  • Notification: April 20, 2018
  • Early registration deadline: May 1, 2018
  • Main event: June 11-13, 2018



Invited speakers:

  • Joel David Hamkins (CUNY): Set-theoretic potentialism and the universal finite set
    Providing a set-theoretic analogue of the universal algorithm, I shall define a certain finite set in set theory { x | φ(x) } and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any desired larger finite set in top-extensions of that universe. Specifically, ZFC proves the set is finite; the definition φ has complexity Σ2 and therefore any instance of it φ(x) is locally verifiable inside any sufficiently large Vθ; the set is empty in any transitive model; and if φ defines the set y in some countable model M of ZFC and yz for some finite set z in M, then there is a top-extension of M to a model N of ZFC in which φ(x) defines the new set z. I shall draw out consequences of the universal finite set for set-theoretic potentialism and discuss several issues it raises in the philosophy of set theory.
    The talk will include joint work with W. Hugh Woodin, Øystein Linnebo and others. Questions and commentary concerning the talk can be made at:
  • Luke Ong (Oxford): Higher-order constrained Horn clauses and automatic program verification
    We introduce constrained Horn clauses in higher-order logic, and study satisfiability and related decision problems motivated by the automatic verification of higher-order programs. Although satisfiable systems of higher-order clauses in the standard semantics do not generally have least models, by viewing these systems as a kind of monotone logic programs, we show that there are non-standard semantics that do satisfy the least model property. Moreover the respective satisfiability problems in the standard and non-standard semantics are inter-reducible. With a view to exploiting the remarkable efficiency of SMT solvers, we survey recent developments in the algorithmic solution of higher-order Horn systems by reduction to first order, and discuss related problems.
  • Michael Rathjen (Leeds)
  • Katrin Tent (Münster): Ampleness in strongly minimal structures
    The notion of ampleness captures essential properties of projective spaces over fields. It is natural to ask whether any sufficiently ample strongly minimal set arises from an algebraically closed field. In this talk I will explain the question and survey recent results on ample strongly minimal structures.

Contributed talks:

  • Andreas Halkjær From, Helge Hatteland and Jørgen Villadsen: Teaching first-order logic with the natural deduction assistant (NaDeA)
  • Andreas Halkjær From: Formalized soundness and completeness of natural deduction for first-order logic
  • Anupam Das: On the logical complexity of cyclic arithmetic
  • Bartosz Wcisło: Speed-up and Kripke--Feferman theory of truth
  • Bartosz Więckowski: Natural deduction with subatomic negation
  • Cezary Cieslinski: On the conceptual strength of Weak and Strong Kleene evaluation schemata
  • Claes Strannegård: Artificial animals with dynamic ontologies
  • Dag Normann and Sam Sanders: On the mathematical and foundational significance of the uncountable
  • David Ellerman: New logical foundations for information theory
  • Fan Yang: Axiomatizing first-order consequences in inclusion logic
  • Gianluca Grilletti: Completeness for ClAnt and BWC fragments of inqBQ
  • James Walsh: Hierarchies of proof-theoretic strength
  • Johan Lindberg: Point-free spaces of models
  • Michał Tomasz Godziszewski: \Pi^0_1-computable quotient presentation of a nonstandard model of arithmetic
  • Michał Tomasz Godziszewski: Local disquotation and semantic (non)conservativeness
  • Mirko Engler: Relative interpretation and conceptual reduction of theories
  • Nemi Pelgrom: Inconsistency in informal mathematics
  • Olivier Bournez and Sabrina Ouazzani: Computing to the infinite with ordinary differential equations.
  • Paul Gorbow: Embeddings between non-standard models of set theory
  • Sebastian Eterovic: Categoricity of Shimura varieties
  • Sonia Marin: Proof theory for indexed nested sequents
  • Torbjörn Lager: Rebranding Prolog
  • Valentin Goranko and Antti Kuusisto: Logics for Propositional Determinacy and Independence
  • Will Boney: Model-theoretic characterizations of large cardinals


The preliminary schedule for the symposium follows below.


  • 12:00 Registration
  • 13:00 Invited talk: Joel David Hamkins
  • 14:00 Contributed talks
  • 15:00 Coffee
  • 15:30 - 17:30 Contributed talks
  • 18:00 Lindström lecture: Mickael Rathjen


  • 10:00 Invited talk: Luke Ong
  • 11:00 Contributed talks
  • 12:00 Lunch break
  • 13:30 Contributed talks
  • 15:00 Coffee
  • 15:30 Invited talk: Katrin Tent
  • 16:30 - 17:30 Contributed talk
  • 19:00 Conference dinner


  • 10:00 Invited talk: Michael Rathjen
  • 11:00 Contributed talks
  • 12:00 Lunch break
  • 13:30 Contributed talks
  • 15:00- 15:30 Coffee


To register please use the registration form. Please note that if a Swedish university is paying the registration fee you should not pay the VAT.

After you have registered you need to pay through the payment site. Please use the exact same name when paying as you used to register.

Early registration fees, applicable until 1st May, are:

  • Regular fee (incl. VAT). 600 SEK
  • Regular fee (excl. VAT). 480 SEK
  • Student fee (incl. VAT). 400 SEK
  • Student fee (excl. VAT). 320 SEK

Late fees will be announced later. If you need more information please contact the organisers.

Submit an abstract

Abstracts of contributed talks must be submitted as pdf files via EasyChair:

The abstracts should be prepared according to the ASL abstract guidelines:

Upon notification of acceptance, authors will be requested to submit the LaTeX source files.

Conference dinner

The dinner will be held at Villa Belparc located in the beautiful park Slottskogen right by the Botanical Gardens.

  • Dinner fee (incl. VAT). 700 SEK
  • Dinner fee (excl. VAT). 600 SEK

Information and venue

The conference will be held at Eklandagatan 86, once the home of the Maths department and now housing the Department of History. It's located close to Chalmers Johanneberg campus and a short bus trip (or a 20 minute walk) from Korsvägen - the first stop of the airport coaches.

We recommend the nearby located Quality Hotel Panorama.

Organization and sponsors

Programme and organizing committee:

  • Bahareh Afshari (co-chair)
  • Rasmus Blanck
  • Ali Enayat (co-chair)
  • Fredrik Engström
  • Martin Kaså
  • Graham Leigh

For enquiries please email: sls2018 at


  • Association for Symbolic Logic
  • Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg)
  • Knut and Alice Wallenberg Foundation
  • Wenner-Gren Stiftelserna

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