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:Verified Analysis of Algorithms: A Biased Survey
Speaker:Tobias Nipkow
coming from:TU Munich
Speakers Bio:
Event Type:AG1 Mittagsseminar (own work)
Visibility:D1, MMCI, SWS
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Tuesday, 6 November 2018
Time:13:00
Duration:45 Minutes
Location:Saarbr├╝cken
Building:E1 4
Room:024
Abstract
This talk will survey the state of the art in the interactive verification of basic algorithms from standard textbooks such as CLRS. Both functional correctness and computational complexity are considered and the formalization of the necessary mathematical basis for the latter is discussed.
Contact
Name(s):Nitin Saurabh
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:
Nitin Saurabh, 10/29/2018 02:33 PM
Last modified:
halma/MPII/DE, 01/17/2019 12:04 AM
  • Nitin Saurabh, 10/29/2018 02:33 PM -- Created document.