13–17 May 2024
University of Pittsburgh / Carnegie Mellon University
US/Eastern timezone

Recent developments in formal theory

15 May 2024, 11:00
30m
David Lawrence Hall 121, (overflow in David Lawrence Hall 120) (University of Pittsburgh)

David Lawrence Hall 121, (overflow in David Lawrence Hall 120)

University of Pittsburgh

Speaker

Jaroslav Trnka

Presentation materials