Campus Event Calendar
3. Type
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
 | Date | Time | Speaker | Event, Title, Topic | Building, Room | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
| 18 March | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4 D1 Rotunda | | |||
| 1 April | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | | ||||||
| 15 April | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4 D1 Rotunda | | |||
| 6 May | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | | ||||||
| 20 May | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4 D1 Rotunda | | |||
| 3 June | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | | ||||||
| 17 June | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4 D1 Rotunda | | |||
| | ||||||||||
| Tomorrow | 13:00 | | Christian Sohler | | Algorithmic Earth System Science | E1 4 024 | | |||
| 19 March | 13:00 | Leon Kullmann | Symmetric Circuits and Algebraic Proof Systems | E1 4 024 | | ||||||
| 24 March | 13:00 | | Sander Borst | | TBD | E1 4 024 | | |||
| 26 March | 13:00 | Augusto Modanese | Strong and Hiding Distributed Certification of Bipartiteness | E1 4 024 | | ||||||
| 31 March | 13:00 | | Sandra Zilles | | TBD | E1 4 024 | | |||
| 2 April | 13:00 | Alexander Mayorov | TBD | E1 4 024 | | ||||||
| 7 April | 13:00 | | Shreyas Srinivas | | Most Models are Query Models | E1 4 024 | | |||
| | ||||||||||
| 19 March | 10:00 | | Jan-Oliver Kaiser | | Strong Program Logics for Weak Memory and Even Stronger Types for Tactic Programming | E1 5 029 | | |||
| 26 March | 15:00 | Satya Prakash Nayak | Permissive Assumptions in Logical Controller Synthesis for Cyber-Physical Systems | G26 [KL] 111 | | ||||||
| 27 March | 10:00 | | Rosa Abbasi | | Pushing the Boundary on Automated Modular Floating-Point Verification | G26 [KL] 111 | | |||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)