Campus Event Calendar: Tobias Nipkow (11/06/2018 in E1 4/024)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Verified Analysis of Algorithms: A Biased Survey

Tobias Nipkow

TU Munich

AG1 Mittagsseminar (own work)

AG 1, MMCI, SWS

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Tuesday, 6 November 2018

13:00

45 Minutes

E1 4

024

Saarbrücken

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

Nitin Saurabh

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Nitin Saurabh, 10/29/2018 14:33 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis