CICM 2023: 16TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Michael Kohlhase
Affiliation: Computer Science, FAU Erlangen-Nürnberg
Web page: http://kwarc.info/kohlhase
Pages in this Program
Program
Program for Monday, September 4th
Program for Thursday, September 7th
Program for Tuesday, September 5th
Program for Wednesday, September 6th