MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

DYNAMIC TYPE LOGICS AND THE SEMANTICS OF PROGRAMMING

Reinhard Muskens
Tilburg University und Universitaet Saarbruecken
Computerlinguistisches Kolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS  
AG Audience
English

Date, Time and Location

Thursday, 28 November 96
16:00
60 Minutes
17.3 - Computerlinguistik
Seminarraum, EG
Saarbrücken

Contact

--email hidden
passcode not visible
logged in users only