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