FSCD 2024
 
10-13 July 2024
Tallinn - Estonia

FSCD 2024
Tallinn, Estonia, 10-13 July 2024

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/


REGISTRATION IS OPEN!

You can register here.


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


                       

FSCD 2024 page  © Taltech:FSCD 2024