Universität Freiburg
Fakultät für Angewandte Wissenschaften
|
|
Albert-Ludwigs- Universität Freiburg |
|
Fakultät für Angewandte Wissenschaften |
|
| Termin | Vortrag | Gastgeber |
|
Fakultäts-Kolloquium Mi. 06. 05. 98, 17.00 c.t. Raum 02-017, Geb. 52 |
Prof. Dr. Harald Ganzinger Max-Planck-Institut für Informatik, Saarbrücken "Automatisches Beweisen für Prädikatenlogik mit Gleichheit" |
D. Basin |
|
Fakultäts-Kolloquium Mi. 20. 05. 98, 17.00 c.t. Raum 02-017, Geb. 52 |
Prof. Dr. Ernst-Rüdiger Olderog Fachbereich Informatik, Universität Oldenburg "Entwicklung korrekter zeitkritischer Systeme" |
D. Basin |
|
Gastvortrag Do. 09. 07. 98, 11.00 c.t. Raum 00-006, Geb. 51 |
Prof. Irith Pomeranz University of Iowa "N-Detection and Tuple-Detection: Fault Models for Improved Defect Coverage in VLSI Circuits" |
B. Becker |
|
Gastvortrag Fr. 31. 07. 98, 17.00 c.t. Raum 02-017, Geb. 52 |
Prof. Tobias Nipkow Institut für Informatik, TU München "Java-light ist typsicher" |
D. Basin |
| Maintenance: Frank Schmiedle | Mail: schmiedl@informatik.uni-freiburg.de | Last Update: 27. 07. 1998 |