The 9th International Conference on Formal Structures for Computation and Deduction will be held in Tallinn, Estonia, on 10-13 July 2024.
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
|Abstract:||February 5, 2024||Submission:||February 12, 2024||Rebuttal:||April 2-6, 2024|
|Notification:||April 22, 2024|
|Final version:||May 6, 2024|