Conference on Intelligent Computer Mathematics

2024-08-05 - 2024-08-09

Montreal, QC, Canada

Conference website

Organizers: Sofiène Tahar, William M. Farmer, Andrea Kohlhase, Laura Kovács, Dennis Müller, Adnan Rashid, Serge Autexier