[TYPES/announce] CiSS 2019: Circularity in Syntax & Semantics, Gothenburg (Sweden), 20-22 Nov 2019

[anupamdotdas at gmail.com]

First Announcement: Circularity in Syntax and Semantics 2019

20-22 November 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.

Topics of interest include (but are not restricted to):

- Logics with circular or self-referential semantics, such as temporal
logics, fixed point logic, mu-calculi;

- Models of infinite computation, including automata and games;

- Non-wellfounded or circular derivation systems for provability,
satisfiability, type-checking, etc.;

- Impredicative constructions in foundations, such as theories of inductive
definitions, impredicative type theory and non-wellfounded set theory;

- Self-reference in natural and formal languages and their treatment;

- Philosophical considerations of any of the above topics.

We are proud to announce that the 2019 Lindström Lectures will be held in
connection with CiSS and delivered by Johan van Benthem. More information is
available at
https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures

IMPORTANT DATES
-----------------
ASL student travel grant application deadline: 21 August 2019
Abstract submission deadline: TBA
Notification: TBA
Registration deadline: TBA
Conference: 20–22 November 2019


INVITED SPEAKERS
-----------------
- Johan van Benthem (Amsterdam)
- Mads Dam (KTH)
- Amina Doumane (Lyon & Warsaw)
- Helle Hvid Hansen (TU Delf)
- Paul-André Milliès (Paris)
- Sara Negri (Helsinki) TBC

 
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 August 21, 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
-----------------
Registration is mandatory but there is no registration fee for attendance. 


PROGRAMME COMMITTEE
-----------------
- Bahareh Afshari (Gothenburg and Amsterdam) co-chair
- David Baelde (Cachan)
- Anupam Das (Copenhagen)
- Valentin Goranko (Stockholm)
- Graham Leigh (Gothenburg) co-chair
- Alexis Saurin (Paris)
- Yde Venema (Amsterdam)

ORGANISING COMMITTEE
-----------------
- Bahareh Afshari (GU & UvA)
- Paul Gorbow (GU)
- Mattias Granberg Olsson (GU)
- Graham Leigh (GU)

ENQUIRIES
-----------------
For enquiries please email: bahareh.afshari at gu.se


SPONSORS
-----------------
* Association for Symbolic Logic
* Department of Philosophy, Linguistics and Theory of Science (University of
Gothenburg)
* Knut and Alice Wallenberg Foundation