50 years Univerity of Lübeck

Institute for Theoretical Computer Science

WS 2005/2006 – Formal Development of Programs



Type and Content

Title: Formal Development of Programs
Host: Völzer
Classification: Bachelor-Studiengang ab 1. Semester, Wahlpflicht
Diplom-Studiengang ab 1. Semester, Wahl
Conentent:

Exercises in program development and presentation

We practise the presentation of scientific content through examples from the area of program development. The challenge we will face is to present, in a short talk, a problem, its algorithmic solution, and its proof of correctness in such a way that your audience is fully convinced that you have indeed presented a solution to the presented problem.


Lecture

Host: Völzer
Hours: Proseminar in englischer Sprache, 4 ECTS
Dates:

Diese Veranstaltung besitzt keinen Default-Termin. Der Termin wird mit allen Interessenten in einer Vorbesprechung ausgehandelt.

Die Vorbesprechung und Einführung findet statt am:

Mittwoch, den 19. Okt. 2005, 16:15 Uhr
Seminarraum Theoret. Informatik, Gebäude 64, 2. Stock, Raum 21

Falls Sie Interesse haben, aber die Vorbesprechung nicht besuchen können, melden Sie sich bitte bei
Dr. Hagen Völzer, Gebäude 64, 2. Stock, Raum 17,
Tel. 500 5314
voelzer@tcs.uni-luebeck.de