20–22 November 2019, Göteborg, Sweden
Circularity in Syntax and Semantics

THE CONFERENCE

Circularity in Syntax and Semantics is dedicated to aspects of circularity and ill-foundedness in formal methods. The purpose of the meeting 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.

INVITED SPEAKERS

The conference will also feature a number of contributed talks. For the list of contributed talks see here.

IMPORTANT DATES

REGISTRATION

Registration is closed. Please contact the organisers if you have enquiries.

There is no registration fee for the event but registration is mandatory as attendance is limited. Therefore we ask all attendees to register for the event by filling in the registration form.

Contributed talks

*The deadline for submitting contributed talks has passed*

We invite submissions for contributed talks on topics related to the theme of the meeting. These can be on published results or work in progress. Submissions via the EasyChair conference page: https://easychair.org/conferences/?conf=ciss2019.

Abstracts should be compiled using the EasyChair LaTeX class and are limited to 3 pages including references (12pt, 2cm margins).

ASL student travel grants

*The deadline for submitting contributed talks has passed*

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.

PROGRAMME

LOCAL INFORMATION

The meeting will be held at the University of Gothenburg (Lorensberg Campus) close to the city centre.

Address
Department of Philosophy, Linguistics and Theory of Science
University of Gothenburg
Olof Wijksgatan 6
412 55 Gothenburg

The following hotels are situated within walking distance of the venue: Quality Hotel Panorama; Hotel Lorensberg; Elite Park Hotel; Scandic Rubinen.

ORGANISATION

Programme committee

Local organisers

Bahareh Afshari, Paul Kindvall Gorbow, Mattias Granberg Olsson, Graham E. Leigh, Jan Rooduijn, Guillermo Menendez Turata

Contact for enquiries: bahareh.afshari@gu.se

Sponsors