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:

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.

FSCD stands by the following Code of Conduct.

Recent editions of FSCD have been held at:

Affiliated workshops

Seven one or two days workshops will be held as satellite pre/post-events of FSCD. A call has been opened in November 2020, inviting 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.

List and program of affiliated workshops.

Invited speakers

Zena M. Ariola


Zena M. Ariola is a Professor in the Department of Computer and Information Science at the University of Oregon. Zena received her Bachelor's degree from the University of Pisa and her Ph.D. from Harvard University. Her original research interests were in parallel architectures, specifically dataflow machines. The desire to better understand the dataflow model of computation lead to first working on term graph rewriting, then on lambda-calculus and classical logic.
In 2002, in collaboration with Hugo Herbelin from INRIA, started the Oregon Programming Languages Summer School (OPLSS), which provides students a unique opportunity to study relevant background and cutting-edge results in the field of programming languages research. By establishing and running OPLSS, Zena received the 2018 SIGPLAN Distinguished Service Award.

Nao Hirokawa


Associate professor at the Japan Advanced Institute of Science and Technology (JAIST). He received the Ph.D. degree from the University of Innsbruck in 2006, and since 2007 he has been at JAIST. He is working in the area of term rewriting and his research interests include confluence, termination, complexity analysis, and completion.

Elaine Pimentel


Elaine Pimentel is a full professor at the Math Department UFRN, Brazil. She has held visiting research positions at TU-Wien and LIX-École Polytechnique. She is the coordinator of Brazilian research and extension projects, including POTIMÁTICAS, that aims at encouraging girls to study Mathematics. Also, she is part of the European research project MOSAIC, member of the steering committee of TABLEAUX and one of the Ambassadors of Logic of the World Logic Day 2021 (organised by the VCLA at TU Wien). Her main research area is Mathematical Logic, with special interest in several aspects of Proof Theory, including: specification and verification of logical systems, game semantics, ecumenical logics, focused systems and polarities.

Sam Staton


Sam Staton is Professor of Computer Science and Royal Society University Research Fellow at the Department of Computer Science, University of Oxford. Sam received his PhD from the University of Cambridge in 2007, and after postdoc positions in Cambridge, Nijmegen and Paris, he moved to Oxford in 2015. Sam also currently holds an ERC Consolidator Grant titled "Better Languages for Statistics".

Supported by

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

[ACM In Cooperation] [SIGLOG] [SIGPLAN]



[Onapsis] [IRIF]

Grant RD2256
Grant RC-RPI-2020-00004