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 IconFebruary 2020
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
27
28
10:00-11:30Accepted invitation IconMathias Fleury: "Formalization of Logical Calculi in Isabelle/HOL"
E1 4 - 024
13:00-13:30Accepted invitation IconElizaveta Kovalevskaya: "Reading Articles Online (Master thesis)"
E1 4 - 024
29
30
13:00-13:30Accepted invitation IconSandeep R. B.: "Incompressibility of H-free edge modification problems: Towards a dichotomy"
E1 4 - 024
15:00-15:45Accepted invitation IconGoran Zuzic: "Towards Universal Optimality in Distributed Optimization"
E1 5 - 105
31
1
2
3
13:00-13:30Accepted invitation IconIan W. Jones: "Chip Design Goes “Boink”"
E1 4 - 024
13:45-14:45Accepted invitation IconAbhimitra Meka: "Live Inverse Rendering"
E1 4 - 019
4
13:00-13:30Accepted invitation IconKurt Mehlhorn: "A Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines)"
E1 4 - 024
5
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
12:15-13:15Accepted invitation IconJan Reineke: "Spectector: Principled Detection of Speculative Information Flows"
E1 5 - 002
6
13:00-13:30Accepted invitation IconSami Shalayel: "Column Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense)"
E1 4 - 024
7
10:00-11:00Accepted invitation IconAsia J. Biega: "Designing responsible information systems"
E1 5 - 029
15:00-16:00Accepted invitation IconDebayan Roy: "Hybrid optimization techniques for multi-domain coupling in cyber-physical systems design"
G26 - 111
8
9
10
10:00-11:00Accepted invitation IconMarcel Böhme: "Software Testing as Species Discovery"
E1 5 - 029
11
13:00-13:30Accepted invitation IconCorinna Coupette: "Cultivating Cluster Trees"
E1 4 - 024
12
10:15-11:15Accepted invitation IconKlaus-Tycho Foerster: "Towards Reconfigurable Optical Networks: Opportunities and Challenges"
E1 5 - 029
13
13:00-13:30Accepted invitation IconNofar Carmeli: "Enumeration Complexity of Unions of Conjunctive Queries"
E1 4 - 024
14
15
16
17
18
19
11:30-11:50Accepted invitation IconKurt Mehlhorn: "D1 Group Meeting"
E1 4 - 333
20
21
13:00-13:30Accepted invitation IconNaveen Garg: "Half-integral Duals, Connectivity Augmentation and Multiflows in Planar Graphs"
E1 4 - 024
22
23
24
25
10:00-11:00Accepted invitation IconGiulio Malavolta: "Compactness in Cryptography"
E1 5 - 029
13:00-13:30Accepted invitation IconAlejandro Cassis: "Fine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis)"
E1 4 - 024
26
27
13:00-13:30Accepted invitation IconIan W. Jones: "Detecting Glitch Paths in Chip Designs"
E1 4 - 024
14:00-15:00Accepted invitation IconQingyun Wu: "Learning by exploration in an unknown and changing environment"
E1 5 - SB 029
28
29
1