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

Campus Event Calendar : 4. Category

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
SpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for (Not Categorized)(Not Categorized)
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Kurt MehlhornD1 Group MeetingE1 4
333		AG1 Group Meeting
Marcel HarkAiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationE1 5
630		Talk
Stephan-Alexander AriesanuCircuit Delay Minimization Using Convex OptimizationE1 4
024		AG1 Mittagsseminar (own work)
Tanja KäserModeling and Individualizing Learning in Computer-Based EnvironmentsE1 5
029		SWS Colloquium
Vineet RajaniA type theory for amortized resource analysisE1 5
029		SWS Student Defense Talks - Thesis Proposal