WELCOME!
The 9th International Conference on Formal Structures for Computation and Deduction will be held in Tallinn, Estonia, on 10-13 July 2024.
The event will be colocated with ICALP 2024 and LICS 2024: https://compose.ioc.ee/icalp2024/
CONFERENCE PROCEEDINGS
The proceedings of FSCD 2024 are available here.PROGRAMME
The detailed programme of the conference can be found here.In the schedule, FSCD talks have background colored in RED.
REGISTRATION
For in-person partecipation, you can register here.ONLINE REGISTRATION
We are pleased to announce that online participation is free for FSCD 2024: we will stream the talks over Zoom, and do our best to handle questions from online participants. To participate, please complete the online participation registration form by Sunday 7th July. On the Monday evening before the conference, we will email Zoom details to everyone who registered.ACCEPTED PAPERS
The list of accepted papers can be found here.LOCAL INFORMATION
Information regarding venue, accommodation, getting to Tallinn and local transport can be found here.IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
| Abstract: | EXTENDED to February 12, 2024 | Submission: | EXTENDED to February 19, 2024 | Rebuttal: | April 2-6, 2024 |
| Notification: | April 22, 2024 |
| Final version: | May 6, 2024 |
INVITED SPEAKERS
- Delia Kesner, Université Paris Cité
- Bettina Könighofer, TU Graz
- Sebastian Ullrich, Lean FRO
- Stephanie Weirich, University of Pennsylvania (joint ICALP/LICS/FSCD speaker)
In-Cooperation with
