MPI-INF Logo
Campus Event Calendar

6. Event History - 1. Date and Time - 1. for All AGs

 



Previous Page | Next Page | Expand All | Collapse All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for October 1995October 1995
Hide details for 26 - Thursday26 - Thursday
1995-10-2610:15Bernd GaedeSPASS: (S)ynergetic (P)rover (A)ugmenting (S)uperposition with (S)orts44 - MPII
333
AG2 Seminar
Hide details for 24 - Tuesday24 - Tuesday
1995-10-2416:15Stephane DemriBackward translations for modal logics44 - MPII
117
Logik-Seminar
Hide details for 23 - Monday23 - Monday
1995-10-2311:00Prof. Hassan Aït-KaciA New Foundation for Computation and Approximation43.1
1.01
DFKI-Kolloquium
1995-10-2316:00Dr. Bettina ButhAutomatische Verifikationsunterstützung für Operationsverfeinerung43.1 - DFKI
0.25
DFKI-Kolloquium
Hide details for 11 - Wednesday11 - Wednesday
1995-10-1114:00Mathias ReinholzExpertensysteme für die Entwicklung von Sicherheitsmodellen43.1
1.01
DFKI-Kolloquium
Hide details for September 1995September 1995
Hide details for 26 - Tuesday26 - Tuesday
1995-09-2616:15Johan MonteliusPenny, a parallel implementation of a CCP language43 - DFKI
+1.01
DFKI-Kolloquium
Hide details for 14 - Thursday14 - Thursday
1995-09-1411:00Shimon Even*No Title27 - HS III
Hörsaal 3
Hide details for August 1995August 1995
Hide details for 29 - Tuesday29 - Tuesday
1995-08-2916:15Hubert BaumeisterUsing Algebraic Specification Languages for Model Oriented
Specifications
44 - MPII
117
Logik-Seminar
Hide details for 25 - Friday25 - Friday
1995-08-2516:00Joachim NiehrenFunktionale Berechnung in einem nebenläufigen Kalkül mit
logischen Variablen
44 - MPII
117
Promotionskolloquium
Hide details for 16 - Wednesday16 - Wednesday
1995-08-1616:00Deepak KapurMaximal Extensions of Simplification Orderings44 - MPII
117
Logik-Seminar
Hide details for January 1995January 1995
Hide details for 11 - Wednesday11 - Wednesday
1995-01-1110:15Uwe BrahmUnterstützung der wissenschaftlichen Arbeit durch Groupware44 - MPII
117
Presentation

Previous Page | Next Page | Expand All | Collapse All