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
More Events From The Organizer
- Buenos Aires Breast Cancer Sym..17 - 20 Mar 2021Buenos Aires