FSCD 20270 International Conference on Formal Structures for Computation and Deduction Acc. Rate: 42.1%(32/76 26') · 40.3%(31/77 25') DATESAugust 23-26, 2027 VENUENijmegen, Netherlands NEXT DEADLINE INTBD IMPORTANT DEADLINESDates to be announced CCF CNon-CORENon-THCPL计算机科学理论 Visit website ↗