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

Campus Event Calendar : 5. Title

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
Event, Title, TopicSpeakerDateTimeEvent Type
A type theory for amortized resource analysisVineet Rajani27.8.14:00SWS Student Defense Talks - Thesis Proposal
Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationMarcel Hark20.8.16:00s.t.Talk
Circuit Delay Minimization Using Convex OptimizationStephan-Alexander Ariesanu10.9.13:00AG1 Mittagsseminar (own work)
D1 Group MeetingKurt Mehlhorn16.10.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn18.12.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn18.9.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn28.8.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn2.10.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn4.12.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn4.9.11:30AG1 Group Meeting
D1 Group MeetingKurt Mehlhorn6.11.11:30AG1 Group Meeting
Modeling and Individualizing Learning in Computer-Based EnvironmentsTanja Käser21.8.10:30SWS Colloquium