Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20 - 22 November 2019, Circularity in Syntax and Semantics (CiSS), Gothenburg, Sweden

Date: 20 - 22 November 2019
Location: Gothenburg, Sweden
Deadline: Friday 6 September 2019

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. The 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem.

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,  Models of infinite computation, including automata and games, Non-wellfounded or circular derivation systems for provability, satisfiability, type-checking, etc., Impredicative constructions in foundations, Self-reference in natural and formal languages and their treatment, and  Philosophical considerations of any of the above topics.

For more information, see http://www.cse.chalmers.se/~bahafs/CiSS2019/ or contact Bahareh Afshari at .

Please note that this newsitem has been archived, and may contain outdated information or links.