Lecture series: Prof. Dr. Jens Knoop: Von Vertrauen zum Beweis - Über Funktionale Programmkorrektheit hinaus
May 09, 2014 from 04:00 PM to 06:00 PM
CAP 2, lecture hall D
Lecture series summer 2014
Everybody can program, can't they? The Department of Computer Science of Kiel University reports difficult problems and their computational solutions.
The presentations are held in the AudiMax, room D at 6 pm (on 09-May: 4 pm). All presentations are held in German.
May 09, 2014 from 04:00 PM to 06:00 PM
CAP 2, lecture hall D
May 15, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D
May 22, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D
Jun 05, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D
Jun 12, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D
Jun 19, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D
Jun 26, 2014 from 06:00 PM to 08:00 PM
CAP 2, lecture hall D