TYPES 2024: TYPES 2024
Michael Kirkedal Thomsen
Affiliation: Department of Informatics, University of Oslo and Department of Computer Science, University of Copenhagen
Web page: https://www.mn.uio.no/ifi/english/people/aca/michakt/
Pages in this Program
Program
Program for Thursday, June 13th
Program for Tuesday, June 11th