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 IconApril 2013
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
1
2
3
4
11:00-12:00Accepted invitation IconDaniel Kroening: "Verifying shared-variable concurrent programs"
G26 - 206
5
6
7
8
10:30-11:30Accepted invitation IconAslan Askarov: "Securing information release: systems, models, and programming languages"
G26 - 206
9
10
11
12
13
14
15
16
10:00-11:00Accepted invitation IconSophie Stellmach: "Gaze-supported Multimodal Interaction"
E1 4 - 019
13:00-13:30Accepted invitation IconAdam Kurpisz: "Approximating the minmax selecting items problem"
E1 4 - 024
17
15:00-16:00Accepted invitation IconUlrich Loup: "A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition"
E1 4 - 019
17:00-18:00Accepted invitation IconProf. Dr. Hermann-Georg Holzhütter: "Mathematical Modeling of the Cellular Metabolism"
E2 1 - 001
18
11:00-12:00Accepted invitation IconRayna Dimitrova: "Synthesis and Control of Infinite-State Systems with Partial ObservabilitySpeaker"
G26 - 206
16:00-17:00Accepted invitation IconProf. Joost-Pieter Katoen: "Zero-Defect Software in Space: A True Mission"
E1 3 - Hörsaal Gebäude - 002
19
13:00-13:30Accepted invitation IconBenjamin Doerr: "A Simple Solution for the Min-Max Selecting Items Problem"
E1 4 - 024
14:00-16:00Accepted invitation IconSome AG1 members: "Meeting: What do we have at GECCO'13?"
E1 4 - 3rd floor rotunda
15:00-16:00Accepted invitation IconUday Khedkar: "Liveness-Based Pointer Analysis"
G26 - 206
20
21
22
14:00-15:00Accepted invitation IconJyotirmoy Deshmukh: "Mining Requirements from an Industrial-scale Control System"
G26 - 206
23
10:30-12:00Accepted invitation IconFlorin Dinu: "Understanding and Improving the Efficiency of Failure Resilience for Big Data Frameworks"
E1 5 - 029
13:00-13:30Accepted invitation IconShion Chaudhury: "The Sensitivity conjecture and related complexity measures of Boolean functions"
E1 4 - 024
24
25
13:00-13:30Accepted invitation IconHe Sun: "Randomness-Efficient Rumor Spreading"
E1 4 - 024
14:00-14:45Accepted invitation IconSylvain Malacria: "Improving user's intermodal expertise with user interfaces"
E1 4 - 019
26
27
28
29
30
11:00-11:45Accepted invitation IconCarlos Garcia: "Parameter Adaptation and Criticality in Particle Swarm Optimization"
E1 4 - 019
13:00-14:00Accepted invitation IconRoberto Henschel: "A connection of the chromatic polynomial to geometry"
E1 4 - 024
1
2
3
11:00-12:00Accepted invitation IconAmit Zoran: "FREE-D: Human-Computer Collaboration in 3D Craft"
E1 4 - 019
4
5