25 Mar. 2025,
12:15-13:15
Event Calendar 2025
26 Mar. 2025,
13:00-14:00
Talk by Tiago Pimentel
27 Mar. - 28 Mar. 2025
Nordic Pre-CHI Event 2025
28 Mar. 2025,
14:15-15:15
COPLAS talk: Dmitriy Traytel: Binding-aware datatypes and inductive predicates in Isabelle/HOL
31 Mar. 2025,
15:00-16:00
DeLTA seminar by Liam Schramm: Exponentially faster exploration in MCTS through state occupancy measure regularization
1 Apr. 2025,
10:00
PhD defence by Erik Arakelyan
7 Apr. 2025,
15:00-16:00
DeLTA seminar by Diksha Gupta
9 Apr. - 11 Apr. 2025
IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)
9 Apr. - 11 Apr. 2025
Quantum Computing for Natural Science
22 Apr. 2025,
12:15-13:15