ABOUT
About the conference
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.
The 8th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Rome, July 3-6, 2023, with workshops on the preceding two days.
FSCD is a series of annual conferences, started in 2016, which merged and superseded two long-running conferences:
- RTA (Rewriting Techniques and Applications), celebrated since 1985.
- TLCA (Typed Lambda Calculi and Applications), celebrated since 1993.
Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas.
FSCD 2023 will be co-located with CADE-29.
IMPORTANT DATES
Timeline and deadlines
Abstract submission deadline
30th of January 2023
Paper submission deadline
3rd of February 2023
Paper submission deadline (extended)
9th of February 2023
Rebuttal period
24th–28th of March 2023
Notification
13th of April 2023
Final version submission deadline
27th of April 2023
KEYNOTE SPEAKERS
Invited talks
Mateja Jamnik
University of Cambridge, UK (Department of Computer Science and Technology)
"How can we trust AI?"
EXTRA INFO
Venue info and latest news
Venue info
FSCD-CADE 2027 will be hosted at the Van der Valk Hotel in Nijmegen-Lent. Nijmegen is well connected by train and is also easily accessible by car.
More about NijmegenORGANISER
Radboud University
