FSCD 2023: 8TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION 2023
Serenella Cerrito
Affiliation: IBISC, Univ Evry, Université Paris-Saclay, Evry, France
Web page: http://www.ibisc.univ-evry.fr/~serena/
Pages in this Program
Program
Program for Tuesday, July 4th