Campus Event Calendar
Event Entry
What and Who
Trustworthy Graph Algorithms
Kurt Mehlhorn
Max-Planck-Institut für Informatik - D1
AG1 Mittagsseminar (own work)
AG 1, AG 3, AG 4, RG1, MMCI, AG 2, INET, AG 5, SWS
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 13 August 2019
13:45
45 Minutes
E1 4
024
Saarbrücken
Abstract
I report on Mohammad Abdulaziz, Kurt Mehlhorn, and Tobias Nipkow.
Trustworthy Graph Algorithms.
CoRR, abs/1907.04065.
This is a practice talk for my invited talk at MFCS 2019.
Contact
Kurt Mehlhorn
--email hidden
passcode not visible
logged in users only
Kurt Mehlhorn, 07/18/2019 14:40
Kurt Mehlhorn, 07/17/2019 12:24 -- Created document.
Kurt Mehlhorn, 07/17/2019 12:24 -- Created document.