FSCD 2021

17 Temmuz 2021

Event Name

6th International Conference on Formal Structures for Computation and Deduction
 6th International Conference on Formal Structures for Computation and Deduction 2021
    GENEL BILGI

    Buenos Aires
    Arjantin

    Tarihler

    Etkinlik tarihi

    17 Temmuz 2021 - 25 Temmuz 2021

    Standart registration date

    2021-07-17

    Submission Deadline

    Pt, Şub 15 2021, 12öö

    The 6th FSCD (International Conference on Formal Structures for Computation and Deduction) was originally planned to be held in Buenos Aires, Argentina, from July 17 to 24, 2021.
    Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.
    FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the following two 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 (e.g. blockchain protocols or deep learning algorithms).

    Etkinlik Sekreteryası

    E-Mail: fscd2021ateasychair.org

    Etkinlik Detayları

    AFFILIATED WORKSHOPS

     One or two days workshops will be held as satellite pre/post-events of FSCD. A call has been opened in November 2020, inviting you to submit proposals for workshops on any topic related to formal structures in computation and deduction.

    The scopes of the accepted workshops include topics as homotopy type theory and univalent foundations, intersection types, rewriting techniques for program transformations and evaluation, unification, termination, and confluence of rewriting systems, confluence, logical semantics frameworks, and applications.

    WORKSHOPS LIST

    FSCD 2021: Sixth International Conference on Formal Structures for Computation and Deduction
     

    hop on Homotopy Type Theory/Univalent Foundations

    TENTATIVE PROGRAM

    FSCD_Program