Activities per year
Activities
- 14 results
Search results
-
Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization
Trencsenyi, V. (Speaker), Stathis, K. (Speaker) & Mensfelt, A. (Speaker)
30 Jun 2025 → 4 Jul 2025Activity: Talk or presentation › Oral presentation
-
Weak Equality Reflection in MLTT with Propositional Truncation
Bradley, F. (Speaker)
11 Jun 2025Activity: Talk or presentation › Oral presentation
-
Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization
Mensfelt, A. (Speaker), Stathis, K. (Speaker) & Trencsenyi, V. (Speaker)
20 May 2025Activity: Talk or presentation › Oral presentation
-
Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees
Zhou, Y. (Speaker)
4 Jul 2024Activity: Talk or presentation › Oral presentation
File -
Representing Temporal Operators with Dependent Event Types
Bradley, F. (Speaker)
12 Jun 2024Activity: Talk or presentation › Oral presentation
-
Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees
Zhou, Y. (Speaker)
20 Mar 2024Activity: Talk or presentation › Oral presentation
File -
An Introduction to Type Theory
Bradley, F. (Speaker)
28 Feb 2024Activity: Talk or presentation › Oral presentation
-
On the Metatheory of Subtype Universes
Bradley, F. (Speaker)
14 Jun 2023Activity: Talk or presentation › Oral presentation
File -
On the Metatheory of Subtype Universes
Bradley, F. (Speaker)
24 Apr 2023Activity: Talk or presentation › Oral presentation
File -
Some Aspects of Directed Graphs: Paths and Cycles in Digraphs (Problem Session)
Zhou, Y. (Speaker)
6 Oct 2022Activity: Talk or presentation › Oral presentation
File -
Results on the small quasi-kernel conjecture
Zhou, Y. (Speaker)
13 Jul 2022Activity: Talk or presentation › Oral presentation
File -
Introducing a Structured Approach to Online Discussion
Lieu, E. (Speaker)
27 Jun 2022Activity: Talk or presentation › Oral presentation
-
Funcons for HGMP
van Binsbergen, L. T. (Speaker)
6 Nov 2018Activity: Talk or presentation › Oral presentation
File -
GLL Parsing with Flexible Combinators
van Binsbergen, L. T. (Speaker)
5 Nov 2018Activity: Talk or presentation › Oral presentation
File