MPI-INF Logo
Campus Event Calendar

Campus Event Calendar : 1. Date and Time - All Entries

 

Date
Time
Title, Topic
Speaker
Building
Room
Event Type
October 2019
15 - Tuesday - Today
15:00 Non-Reformist Reform for Haskell Modularity Video Broadcast
Scott Kilpatrick
E1 5
029
SWS Student Defense Talks - Thesis Defense
16 - Wednesday - Tomorrow
11:30D1 Group Meeting
Kurt Mehlhorn
E1 4
333
AG1 Group Meeting
17 - Thursday
16:00 Knowledge and Information Dissemination: Models and Methods Video Broadcast
Utkarsh Upadhyay
Kaiserslautern
G26
111
SWS Student Defense Talks - Thesis Proposal
22 - Tuesday
13:00tba
Lazar Milenkovic
E1 4
024
AG1 Mittagsseminar (own work)
24 - Thursday
13:00Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness
Philip Wellnitz
E1 4
024
AG1 Mittagsseminar (own work)
31 - Thursday
13:00Visualization in Circuit Design
Ian W. Jones
E1 4
024
AG1 Mittagsseminar (others' work)
November 2019
6 - Wednesday
11:30D1 Group Meeting
Kurt Mehlhorn
E1 4
333
AG1 Group Meeting
12:15 Personal Knowledge Extraction: What Can Be Inferred From What You Say and Do
Paramita Mirza
E1 5
002
Joint Lecture Series
20 - Wednesday
11:30D1 Group Meeting
Kurt Mehlhorn
E1 4
333
AG1 Group Meeting
December 2019
4 - Wednesday
11:30D1 Group Meeting
Kurt Mehlhorn
E1 4
333
AG1 Group Meeting
12:15 Stronger Higher-order Automation
Sophie Tourret
E1 5
002
Joint Lecture Series
18 - Wednesday
11:30D1 Group Meeting
Kurt Mehlhorn
E1 4
333
AG1 Group Meeting
January 2020
8 - Wednesday
12:15 Towards a Tight Understanding of the Complexity of Algorithmic Problems
Dániel Marx
E1 5
002
Joint Lecture Series
February 2020
5 - Wednesday
12:15 Spectector: Principled Detection of Speculative Information Flows
Jan Reineke
E1 5
002
Joint Lecture Series