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
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.
Please note that this newsitem has been archived, and may contain outdated information or links.