Campus Event Calendar
Event Entry
What and Who
Protocol Design and Liveness Proofs with the B-tool
Prof. Dr. Jean-Raymond Abrial
Digilog, Aix-en-Provence
MPI-Kolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 28 May 96
16:00
60 Minutes
46.1 - MPII
019
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Zusammenfassung siehe: Newsgruppe saar.uni.vortraege und im World Wide Web unter
http://www.mpi-sb.mpg.de/guide/staff/uwe/los/termine.html
http://www.mpi-sb.mpg.de/guide/staff/uwe/los/termine.html