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 IconDecember 2019
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
25
26
13:00-13:30Accepted invitation IconSandor Kisfaludi-Bak: "One-round discrete Voronoi Games"
E1 4 - 024
14:15-15:15Accepted invitation IconFelix Naumann: "Exploring Change – A New Dimension of Data Analytics"
E1 4 - 024
16:00-17:00Accepted invitation IconKashyap Popat: "Credibility Analysis of Textual Claims with Explainable Evidence"
E1 5 - 029
27
28
13:00-13:30Accepted invitation IconJulian Baldus: "A fast implementation of near neighbors queries for Frechet distance (Bachelor thesis)"
E1 4 - 024
29
30
1
2
3
10:30-12:00Accepted invitation IconAlex Summers: "Prusti – Deductive Verification for Rust"
G26 - 111
15:00-16:00Accepted invitation IconYang He: "Improved Methods and Analysis for Semantic Image Segmentation"
E1 4 - 024
4
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
12:15-13:15Accepted invitation IconSophie Tourret: "Stronger Higher-order Automation"
E1 5 - 002
5
6
14:00-15:00Accepted invitation IconReinhard Munz: "Towards Usability in Private Data Analytics"
G26 - 607
7
8
9
10
09:00-10:00Accepted invitation IconAlberto Griggio: "SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators"
E1 5 - 002
10:00-12:00Accepted invitation IconRalf Jung: "Understanding and Evolving the Rust Programming Language"
E1 5 - 029
11:00-12:00Accepted invitation IconPascal Fontaine: "Quantifiers and SMT"
E1 5 - 002
14:00-15:00Accepted invitation IconMartin Bromberger: "Decision Procedures for Linear Arithmetic"
E1 5 - 002
11
12
10:30-11:30Accepted invitation IconConrad Watt: "WebAssembly: Mechanisation, Security, and Concurrency"
E1 5 - 029
14:00-15:00Accepted invitation IconDhruv Gupta: "Search and Analytics Using Semantic Annotations"
E1 4 - 0.24
18:00-20:00Accepted invitation IconProf. Anthony Elliott, University of South Australia: "CEUS Talk The Politics of Digital transformation: Challenges and opportunities for the EU and Australia"
C7 1 - C7 4, 1.17
13
14
15
16
10:30-11:30Accepted invitation IconIşıl Dillig: "Computer-Aided Programming Across Software Stack"
G26 - 111
17
13:00-13:30Accepted invitation IconNico Gründel: "Improving Computational Upper and Conditional Lower Bounds of Fréchet Distance on Practical Input Curves (Bachelor thesis)"
E1 4 - 024
18
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5