Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Campus Event Calendar : 2. Speaker

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
DateTimeEvent, Title, TopicBuilding, RoomEvent Type
Hide details for Kurt MehlhornKurt Mehlhorn
28 Aug11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
4 Sep11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
18 Sep11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
2 Oct11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
16 Oct11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
6 Nov11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
4 Dec11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
18 Dec11:30D1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for Marcel HarkMarcel Hark
Today16:00s.t.Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationE1 5
630
Talk
Hide details for Stephan-Alexander AriesanuStephan-Alexander Ariesanu
10 Sep13:00Circuit Delay Minimization Using Convex OptimizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for Tanja KäserTanja Käser
Tomorrow10:30Modeling and Individualizing Learning in Computer-Based EnvironmentsE1 5
029
SWS Colloquium
Hide details for Vineet RajaniVineet Rajani
27 Aug14:00A type theory for amortized resource analysisE1 5
029
SWS Student Defense Talks - Thesis Proposal