[FOM] Circularity in Syntax and Semantics (CiSS 2019), Gothenburg, 20-22 November 2019

Graham Leigh graham.leigh at gu.se
Tue Apr 23 02:19:07 EDT 2019

* First Announcement *
Circularity in Syntax and Semantics 2019
20-22 November 2019, Gothenburg, Sweden

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.

Topics of interest include (but are not restricted to):

- Logics with circular or self-referential semantics, such as temporal logics, fixed point logic, mu-calculi;
- Models of infinite computation, including automata and games;
- Non-wellfounded or circular derivation systems for provability, satisfiability, type-checking, etc.;
- Impredicative constructions in foundations, such as theories of inductive definitions, impredicative type theory and non-wellfounded set theory;
- Self-reference in natural and formal languages and their treatment;
- Philosophical considerations of any of the above topics.

We are proud to announce that the 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem. More information is available at

ASL student travel grant application deadline: 21 August 2019
Abstract submission deadline: TBA
Notification: TBA
Registration deadline: TBA
Conference: 20–22 November 2019

- Johan van Benthem (Amsterdam)
- Mads Dam (KTH)
- Amina Doumane (Lyon & Warsaw)
- Helle Hvid Hansen (TU Delf)
- Paul-André Milliès (Paris)
- Sara Negri (Helsinki) TBC

The meeting is sponsored by the Association for Symbolic Logic (ASL) and student ASL members may apply for (limited) ASL travel funds. Applications should be submitted directly to ASL no later than August 21, 2019. Details for applications can be found at


Please note that being a ASL member is a strict requirement for making an application.

Registration is mandatory but there is no registration fee for attendance.

- Bahareh Afshari (Gothenburg and Amsterdam) co-chair
- David Baelde (Cachan)
- Anupam Das (Copenhagen)
- Valentin Goranko (Stockholm)
- Graham Leigh (Gothenburg) co-chair
- Alexis Saurin (Paris)
- Yde Venema (Amsterdam)

- Bahareh Afshari (GU & UvA)
- Paul Gorbow (GU)
- Mattias Granberg Olsson (GU)
- Graham Leigh (GU)

For enquiries please email: bahareh.afshari at gu.se<mailto:bahareh.afshari at gu.se>

* Association for Symbolic Logic
* Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg)
* Knut and Alice Wallenberg Foundation
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190423/deada0f3/attachment-0001.html>

More information about the FOM mailing list