max planck institut
informatik
informatik
Action: New Event Entry | Mailing Lists | E-Mail Events | Search (with options)
 | | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||||
|
| | |||||||||||
| 13:00 | Surender Baswana | Dynamic trees and algorithms | E1 4 - MPI-INF 024 | Lecture | | ||||||||
|
| | |||||||||||
| 13:00 | Cosmina Croitoru | Argumentation systems: Complexity and algorithmic aspects | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | ||||||||
|
| | |||||||||||
| 13:00 | Pengming Wang | Certification of Curve Arrangements (Master Thesis) | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | ||||||||
| | ||||||||||||
|
|
| | |||||||||||
| | 13:00 | | Shlomo Moran | | Towards Optimal Distance Functions for Stochastic Substitutions Models | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | ||||
|
|
| | |||||||||||
| | 13:00 | | Guy Moran | | Shattering Extremal Set Systems (Master Thesis, First Talk) | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | ||||
|
|
| | |||||||||||
| | 12:15 | | Viktor Vafeiadis | | Relaxed memory concurrency and verified compilation | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | | ||||
|
|
| | |||||||||||
| | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4 - MPI-INF 024 | AG1 Group Meeting | | ||||
| | ||||||||||||
|
| | |||||||||||
| 13:00 | Marvin Kuenemann | to be announced | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | ||||||||
|
| | |||||||||||
| 12:15 | Olga Kalinina | Structural Bioinformatics Methods for Identification of Protein Function and Interactions | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | | ||||||||
| | ||||||||||||
|
|
| | |||||||||||
| | 12:15 | | Antti Oulasvirta | | Optimizing User Interfaces for Human Performance | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | | ||||