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

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Trustworthy Graph Algorithms
Speaker:Kurt Mehlhorn
coming from:Max-Planck-Institut für Informatik - D1
Speakers Bio:
Event Type:AG1 Mittagsseminar (own work)
Visibility:D1, D3, D4, RG1, MMCI, D2, INET, D5, SWS
We use this to send out email in the morning.
Level:MPI Audience
Language:English
Date, Time and Location
Date:Tuesday, 13 August 2019
Time:13:45
Duration:45 Minutes
Location:Saarbrücken
Building:E1 4
Room:024
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
Name(s):Kurt Mehlhorn
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Kurt Mehlhorn, 07/18/2019 02:40 PM
  • Kurt Mehlhorn, 07/17/2019 12:24 PM -- Created document.