MPI-INF Logo
Campus Event Calendar

2. Speaker

 




DateTimeEvent, Title, TopicBuilding, RoomEvent Type
Hide details for Caroline CronjägerCaroline Cronjäger
4 Dec10:00The Never-Ending Trace: An Under-Approximate Approach to Divergence BugsE1 5
029
SWS Colloquium
Hide details for D1 Group MembersD1 Group Members
6 Dec11:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
20 Dec11:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
3 Jan 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
17 Jan 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
7 Feb 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
21 Feb 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
6 Mar 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
20 Mar 202411:30Exclamation Point IconD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
3 Apr 202411:30D1 Group MeetingE1 4
R024
AG1 Group Meeting
17 Apr 202411:30Exclamation Point IconD1 Group MeetingE1 4
R021
AG1 Group Meeting
Hide details for Ha DaoHa Dao
10 Jan 202412:15I never willingly consented to this! Investigating PII leakage through SSO loginsE1 5
002
Joint Lecture Series
Hide details for Jan-Philipp WächterJan-Philipp Wächter
14 Dec13:00Decision Problems for Automaton Groups and Monoids of Bounded ActivityTBAE1 4
024
AG1 Advanced Mini-Course
Hide details for Manuel Gomez RodriguezManuel Gomez Rodriguez
6 Dec12:15Improving Decision Making with Machine Learning, ProvablyE1 5
002
Joint Lecture Series
Hide details for Michael SammlerMichael Sammler
4 Dec17:00Automated and Foundational Verification of Low-Level ProgramsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for Tomasz KociumakaTomasz Kociumaka
7 Feb 202412:15New Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing SetsE1 5
002
Joint Lecture Series