Activities per year
Activities
- 2 results
Search results
-
An Introduction to Type Theory
Felix Bradley (Speaker)
28 Feb 2024Activity: Talk or presentation › Oral presentation
-
Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees
Yacong Zhou (Speaker)
20 Mar 2024Activity: Talk or presentation › Oral presentation
File