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 IconJuly 2019
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
1
2
11:15-12:45Accepted invitation IconAndré Platzer: "Safe AI for CPS"
E1 5 - 029
13:00-13:30Accepted invitation IconMaximilian John: "Dynamic Sparsification for Quadratic Assignment Problems"
E1 4 - 024
3
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
12:15-13:15Accepted invitation IconMario Fritz: "The Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and Security"
E1 5 - 002
4
13:00-13:30Accepted invitation IconBundit Laekhanukit: "An O(log^2{k}/log log {k})-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time Algorithm"
E1 4 - 024
5
6
7
8
10:30-11:30Accepted invitation IconAbhik Roychoudhury: "Automated Program Repair"
G26 - 111
15:15-16:15Accepted invitation IconSrikanta Bedathur: "Index-free Approximation of Reachability Queries on Graphs"
E1 4 - 024
9
13:00-13:45Accepted invitation IconGuy Kortsarz: "Between the metric and non metric facility location problems"
E1 4 - 024
10
10:30-11:30Accepted invitation IconSanjar Karaev: "Matrix Factorization over Dioids and its Applications in Data Mining"
E1 5 - 029
15:15-16:30Accepted invitation IconMatthijs van Leeuwen: "Mine, Interact, Learn, Repeat"
E1 5 - 029
11
13:00-13:30Accepted invitation IconNick Fischer: "A Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k Forall-Quantified First-Order Graph Properties"
E1 4 - 024
12
13
14
15
10:30-11:30Accepted invitation IconMary Baker: "Design Problems: Trustworthy Smart Devices and 3D Printed Lace"
E1 5 - 029
16
13:00-14:00Accepted invitation IconSoham Chakraborty: "Correct Compilation of Relaxed Memory Concurrency"
G26 - 111
17
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
18
13:00-13:30Accepted invitation IconMagnus Danielson: "Synchronization routing in telecom networks"
E1 4 - 024
19
10:30-12:00Accepted invitation IconMartin Ziegler: "Computer Science for Numerics"
E1 5 - 029
20
21
22
23
13:00-13:30Accepted invitation IconKurt Mehlhorn: "New Convergence Results for the Physarum Dynamics"
E1 4 - 024
24
25
26
27
28
29
30
31
09:00-10:00Accepted invitation IconErich Grädel: "Provenance Analysis for Logic and Games"
E1 4 - 024
11:00-12:00Accepted invitation IconAlexander Leitsch: "Algorithmic Analysis of Proofs via CERES"
E1 4 - 024
14:00-15:00Accepted invitation IconMarco Voigt: "Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates"
E1 4 - 024
1
2
3
4