FSCD 2019

  • Date

    June 24 - June 30, 2019

  • Venue

    Dortmund, Germany

  • Organiser

    FSCD

  • Year
    • 2019
    • 2019 (Upcoming Conference)
  • Website

    easyconferences.eu/fscd2019/

4th International Conference on Formal Structures for Computation and Deduction

The FSCD conference includes all research of the inter-related formal areas of researchers in formal structures for computation and deduction in general, and in particular all subjects that were previously covered by the RTA and TLCAconferences.

The name of the new conference comes from an unpublished but important book by Gérard Huet that has been a strong influence on many researchers in our area. We are grateful to Gérard for allowing us to reuse the name.

We look very much forward to serve the scientific community with this new conference, which inherits as well as updates and modernizes the scope of the conferences it replaces. The call for papers for the next FSCD, below, give further details on the subjects of the conference.

Related Conferences