max planck institut
informatik
informatik
 | Speaker | Event, Title, Topic | Building, Room | Event Type | |||||
|---|---|---|---|---|---|---|---|---|---|
| | ||||||||
| Andrei Sabelfeld |  | Tracking information flow in web applications | MPI-SWS 002 | SWS Distinguished Lecture Series | | |||
| Flavio Chierichetti | Trace Complexity | MPI-SWS 029 | SWS Colloquium | | |||||
| Hongjin Liang | | Compositional Verification of Termination-Preserving Refinement of Concurrent Programs | MPI-SWS [KL] 113 | SWS Colloquium | | |||
| Josef Sivic | From CAD models to neural networks: Learning mid-level image representations for visual recognition | E1 4 - MPI-INF 024 | Talk | | |||||
| Marcel Schulz | | Probabilistic Methods for the Analysis of Biological Networks | E1 5 - MPI-SWS 002 | Joint Lecture Series | | |||
| Paul Müller | Deferred Shading Pipelines and Post-Processes | E1 4 - MPI-INF 019 | Talk | | |||||
| Richard Peng | | Algorithms Design Using Spectral Graph Theory | E1 4 - MPI-INF 024 | Talk | | |||