Lejontrappan i Göteborg

Circularity in Syntax and Semantics (CiSS)

20–22 November 2019, University of 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):

We are proud to announce that the 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem. For more information see Lindström lectures webpage.

Important dates

Invited speakers

Venue and events

The conference will be hosted at the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg, located close to the Gothenburg city centre.

The conference programme will include a public lecture and a panel discussion.

Applications for student travel grants

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 21 August, 2019. Details for applications can be found at https://aslonline.org/meetings/student-travel-awards.

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

Registration

There will be no registration fee for attendance.

Submission of contributed talks

Closer to the event there will be the opportunity to submit abstracts for participant who are interested to give a talk at the meeting. Details to follow.

Programme committee

Local organisers 

Bahareh Afshari, Paul Gorbow, Mattias Granberg Olsson, Graham Leigh

Contact for inquiries: bahareh.afshari@gu.se

Sponsors

Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg

Credits

Photograph of Lejontrappan © Monica Havström