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/

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 and Karlsruhe Institute of Technology
  • Stephanie Weirich, University of Pennsylvania (joint ICALP/LICS/FSCD speaker)




In-Cooperation with


                       

FSCD 2024 page  © Taltech:FSCD 2024