MFCS 2025: 50TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Jean-François Raskin
Affiliation: Université libre de Bruxelles
Web page: https://verif.ulb.ac.be/jfr
Pages in this Program
Program
Program for Monday, August 25th