FSCD 2023

8th International Conference on Formal Structures for Computation and Deduction

July 3-6, 2023

 Co-Located with CADE 2023

Rome, Italy

About

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

  • Abstract submission deadline – 30 January 2023 (Monday)
  • Paper submission deadline – 3 February 2023 (Friday)
  • Rebuttal – 24-28 March 2023 (Friday-Tuesday)
  • Notification – 13 April 2023 (Thursday)
  • Final version submission deadline – 27 April 2023 (Thursday)

Co – located Events

  • FSCD Conference – 3-6 July 2023
  • FSCD Workshops – 1-2 July, 2023
  • CADE Conference1-4 (morning), July 2023
  • CADE Workshops4 (afternoon)-5 July, 2023

Latest News

 

ROME, ITALY

Rome, Italy will be the host city and country for FSCD 2023. Rome offers many advantages as a location. It is readily accessible -at affordable prices- internationally and directly from all major European air hubs (e.g. London, Frankfurt etc.). Rome is also accessible from the Americas, Asia, Africa and Middle East.

Organiser

Contact

For organizational matters and enquiries on academic program please contact:

Daniele Gorla

gorla@di.uniroma1.it

For enquiries and support on registration, travel and logistics please contact:

EasyConferences

info@easyconferences.eu

Tel: +357 22 591 900