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.