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

Prof. Dr. Jens Knoop

TU Berlin

In honor of Prof. Dr. Langmaacks birthday

 

Title: Vom Vertrauen zum Beweis - Über Funktionale Programmkorrektheit hinaus

 

Abstract: t.b.a.

Prof. Dr. Michael Hanus, 880-7271

Add to your iCal calendar

zurück