FSCD 2022

Partners involved

The 7th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Haifa, August 2-5, 2022, as part of FLoC 2022, with workshops on the preceding two days.
FSCD adresses the RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications) communities, as well as closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas.

NEASQC partners Université de Lorraine and EDF have a research paper accepted at FSCD 2022: “Addition and differentiation of ZX-diagrams” by Emmanuel Jeandel, Simon Perdrix and Margarita Veshchezerova. It will be presented on 3 August at 11:30.

Location :
Haifa, Israel
Our website uses cookies to give you the most optimal experience online by: measuring our audience, understanding how our webpages are viewed and improving consequently the way our website works, providing you with relevant and personalized marketing content. You have full control over what you want to activate. You can accept the cookies by clicking on the “Accept all cookies” button or customize your choices by selecting the cookies you want to activate. You can also decline all cookies by clicking on the “Decline all cookies” button. Please find more information on our use of cookies and how to withdraw at any time your consent on our privacy policy.
Accept all cookies
Decline all cookies
Privacy Policy