FSCD 2023: 8TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION 2023
Ugo Dal Lago
Affiliation: Università di Bologna and INRIA Sophia Antipolis
Web page: http://www.cs.unibo.it/~dallago
Pages in this Program
Program
Program for Wednesday, July 5th