MPI-INF Logo
Campus Event Calendar
  • Home
  • Campus Event Calendar

Calendar

 


Previous Page | Next Page | Show: 1day | 2 days | 1 week | 2 weeks | 1 month | year


Calendar IconMay 2023
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
1
2
13:00-13:30Accepted invitation IconGeorge Osipov: "Parameterized Complexity of MinCSP for Equality Constraint Languages"
E1 4 - 024
3
11:30-12:00Accepted invitation IconD1 Group Members: "D1 Group Meeting"
E1 4 - R 021
12:15-13:15Accepted invitation IconMarc Habermann: "Digital Humans: From Sensor Measurements to Deeper Understanding and Synthesis"
E1 5 - 002
4
15:00-16:00Accepted invitation IconBeta Ziliani: "Making monkeys and ducks behave with Crystal Lang"
E1 5 - 002
5
6
7
8
9
10
11
12
13:30-14:45Accepted invitation IconLéo Exibard: "A Generic Solution to Register-bounded Synthesis for Systems over Data words"
G26 - 111
13
14
15
16
13:00-13:30Accepted invitation IconSeth Pettie: "Sorting Pattern-avoiding Permutations via Forbidden 0-1 Matrices"
E1 4 - 024
17
11:30-12:00Accepted invitation IconD1 Group Members: "D1 Group Meeting"
E1 4 - R 021
18
19
20
21
22
23
13:00-13:45Accepted invitation IconChristine Rizkallah: "Language Based Approaches for Facilitating Software Verification"
MPI building - 024
24
25
13:00-13:45Accepted invitation IconTomasz Kociumaka: "Bounded Weighted Edit Distance"
E1 4 - 024
16:00-17:00Accepted invitation IconBo Zhao: "Scalable and Sustainable Data-Intensive Systems"
E1 5 - 002
26
27
28
29
30
13:00-13:30Accepted invitation IconAriel Kulik: "Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search"
E1 4 - 024
31
1
13:00-13:45Accepted invitation IconCaterina De Bacco: "Modelling multi-commodity optimal transport problems with constraints"
Virtual talk - Virtual talk
2
13:00-13:30Accepted invitation IconRahul Mudambi Venkatesh: "Fault-tolerant pulse synchronization with stable output frequencies (Master thesis)"
E1 4 - 024
3
4