FSCD 20230 International Conference on Formal Structures for Computation and Deduction Acc. Rate: 52.5%(31/59 22') · 38.9%(28/72 21') DATESJuly 3-6, 2023 VENUERome, Italy NEXT DEADLINE INPassed IMPORTANT DEADLINESAbstract Submission Deadline23:59, Feb 4, 2023 · AoEPaper Submission Deadline23:59, Feb 9, 2023 · AoE CCF CNon-CORENon-THCPL计算机科学理论 Visit website ↗Google CalendariCloud Calendar