the scandinavian logic society

slideshow 1

CiSS 2019 - Circularity in Syntax and Semantics

November 20-22, 2019, Gothenburg, Sweden
http://www.cse.chalmers.se/~bahafs/CiSS2019/

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.
* Important dates:
- 21 August, 2019: ASL student travel grant application deadline
- 20-22 November, 2019: CiSS 2019
* Invited Speakers: Johan van Benthem, Mads Dam, Amina Doumane, Helle Hvid Hansen, Paul-André Melliès, Sara Negri (TBC).
* Detailed information can be found on the webpage.

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