The 6th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Buenos Aires, Argentina, from July 19 to 25, 2021.
FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the following two conferences:

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).

FSCD 2021

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.

Recent editions of FSCD have been held in: Porto, Portugal (2016), Oxford, UK (2017), Oxford, UK (2018), Dortmund, Germany (2019), and Paris, France (2020).

Affiliated workshops

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.

We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation and deduction, from theoretical foundations to tools and applications. A call for workshop proposals will be opened in November 2020.

Supported by

[CONICET] [ICC] [UBA] [Exactas] [DC]