17 - 24 Jul 2021

International Conference on Formal Structures for Computation and Deduction



09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100


Jul 2021


Newly Listed
Claim event to edit details

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 .. Read more in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. FSCD 2021 is the 6th edition of FSCD and accepts submissions in two categories: original and unpublished regular research papers presenting original and unpublished research; system descriptions about software tools. The first FSCD took place in Porto, Portugal in June 2016 and was extremely successful, attracting 186 participants and 11 workshops. The last FSCD, taking place in Paris, have accepted 21 affiliated workshops.

  • Share your Experience
  • Organizer
LogoRequest a Booth

University of Buenos Aires

Argentina9 Total Events / 2 Upcoming Events

More Events From The Organizer