FSCD 20260 International Conference on Formal Structures for Computation and Deduction Acc. Rate: 42.1%(32/76 26') · 40.3%(31/77 25') DATESJuly 20-23, 2026 VENUELisbon, Portugal NEXT DEADLINE INPassed IMPORTANT DEADLINESAbstract Submission Deadline23:59, Jan 23, 2026 · AoEPaper Submission Deadline23:59, Jan 30, 2026 · AoE CCF CNon-CORENon-THCPL计算机科学理论 Visit website ↗Google CalendariCloud Calendar