WELCOME!
The 9th International Conference on Formal Structures for Computation and Deduction will be held in Tallinn, Estonia, on 10-13 July 2024.
IMPORTANT DATES
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 |
