In 2027, FSCD and CADE will be co-located in Nijmegen:

FSCD-12, the 12th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held from August 23rd to 26th, with workshops on August 21st and 22nd.

CADE-31, the 31st International Conference on Automated Deduction, will be held from August 22nd to 25th, with workshops on August 21st and 26th.

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.

The Conference on Automated Deduction (CADE) is the major international forum for presenting research on all aspects of automated deduction. It was first held in 1975.
The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction is presented at the conference.