CICM 2026: 19TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Andrej Bauer
Affiliation: Faculty of Mathematics and Physics, University of Ljubljana
Web page: https://www.andrej.com/en/
Pages in this Program
Program
Program for Friday, September 25th
Program for Wednesday, September 23rd