Ifs_oct_2025
The next edition of the Informal Formalization Seminar will be held on Friday, October 31 at the University of Amsterdam. The speakers are Dhyan Aranha, Calle Sönne, and Xavier Généreux.
The next edition of the Informal Formalization Seminar will be held on Friday, October 31 at the University of Amsterdam. The speakers are Dhyan Aranha, Calle Sönne, and Xavier Généreux.