Universität Freiburg
Fakultät für Angewandte Wissenschaften
|
|
Albert-Ludwigs- Universität Freiburg |
|
Fakultät für Angewandte Wissenschaften |
|
| Termin | Vortrag | Gastgeber |
|
Gastvortrag Do. 02. 10. 97, 11.00 c.t. Raum 02-017, Geb. 52 |
Prof. Bhargab B. Bhattacharya Indian Statistical Institute, Calcutta, Indien "Design of an Optimal Test Pattern Generator for Built-in Self Testing of Path Delay Faults" |
B. Becker |
|
Gastvortrag Mi. 15. 10. 97, 16.00 c.t. Raum 02-017, Geb. 52 |
Prof. Leopoldo E. Bertossi Pontificia Universidad Catolica de Chile "Hypothetical Temporal Reasoning from Specifications of Database Updates in the Situation Calculus" |
G. Lausen |
|
Vorstellungsvortrag Mi. 05. 11. 97, 17.00 c.t. Raum 02-017, Geb. 52 |
Dr. Jana Koehler Universität Freiburg "Handlungsplanung und Kognitive Robotik" |
B. Nebel |
|
Gastvortrag Mi. 19. 11. 97, 10.00 c.t. Raum 00-034, Geb. 51 |
Prof. Bernd Krieg-Brückner Universität Bremen "Die UniForM Workbench: eine Universelle Entwichlungsumgebung für Formale Methoden" |
D. Basin |
|
Gastvortrag Di. 25. 11. 97, 14.00 c.t. Raum 02-017, Geb. 52 |
Dr. Andrew Stevens Oxford University, England "A Unifying Theory and its Mechanisation" |
D. Basin |
|
Fakultäts-Kolloquium Mi. 04. 02. 98, 17.00 c.t. Raum 02-017, Geb. 52 |
Prof. Dr. Joachim Biskup Universität Dortmund "Entwurf eines Multimedia Mediators" |
G. Lausen |
| Maintenance: Harry Hengster | Mail: hengster@informatik.uni-freiburg.de | Last Update: 17. 12. 1997 |