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. 20. 01. 99, 17.00 s.t. Raum 02-017, Geb. 52 |
Claude Kirchner Loira & INRIA, Nancy, France "Theorem Proving Modulo: Concepts, Mechanization, Applications" |
D.Basin |
|
Gastvortrag Sa. 23. 01. 99, 17.00 s.t. Raum 01-030, Geb. 51 |
Prof. Tsutomu Sasao Kynshu Institute of Technology, Japan "Functional Decomposition" |
B. Becker |
|
Gastvortrag Mo. 01. 02. 98, 14.00 s.t. Raum 00-029, Geb. 82 |
Dr. Reinhard von Hanxleden DaimlerChrysler AG, Berlin "Robuster Entwurf eingebetteter Echtzeitsysteme" |
B. Becker |
|
Gastvortrag Mo. 01. 02. 99, 16.00 c.t. Raum 00-029, Geb. 82 |
Dr. Rainer Leupers Universität Dortmund "Compilertechniken für digitale Signalprozessoren" |
B. Becker |
|
Gastvortrag Mo. 05. 02. 99, 9.00 s.t. Raum 00-029, Geb. 82 |
Prof. Dr. Alex Kondratyev University of Aizu, Japan "General framework for synthesis of asynchronous STG specifications" |
B.Becker |
|
Gastvortrag Fr. 12. 03. 99, 15.00 s.t. Raum 02-017, Geb. 52 |
Sudhakar M. Reddy University of Iowa "Test Generation and Test Compaction for Sequantial Circuits" |
B. Becker |
| Maintenance: Frank Schmiedle | Mail: schmiedl@informatik.uni-freiburg.de | Last Update: 24. 6. 1999 |