22 Apr
Friday
22
April
2022,
at
15:00
Ada, Building 5342, room 333, Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N
On Friday 22 April 2022 Martin Bidlingmaier will defend his PhD thesis: Probabilistic Programming and Multiverse Models of Type Theory
Read more here