SYNASC 2024: 26TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Nikolaj Bjørner
Affiliation: Microsoft
Web page: https://www.microsoft.com/en-us/research/people/nbjorner/
Pages in this Program
Program
Program for Tuesday, September 17th
Program for Wednesday, September 18th