Daniele Nantes has had two papers accepted at FSCD, the 7th International Conference on Formal Structures for Computation and Deduction, part of the 8th Federated Logic Conference (FLoC 2022)

Daniele will present the papers, Nominal Anti-Unification with Atom Variables, with Schmidt-Schauss and A Certified Algorithm for AC Unification, with Ayala-Rincón, Férnandez, and Ferreira da Silva, at this year’s conference, which will be held in Haifa, Israel.