Upcoming Events
Jeremy Avigad, Mario Carneiro, Wojciech Nawrocki, and Patrick Massot will all be at the Hausdorff trimester program "" in the summer of 2024
Avigad will give an at IJCAR 2024.
See also the and the in particular.
Jeremy Avigad, Mario Carneiro, Wojciech Nawrocki, and Patrick Massot will all be at the Hausdorff trimester program "" in the summer of 2024
Avigad will give an at IJCAR 2024.
See also the and the in particular.