| Lecturer | Title | |||
| May 22 | ||||
| 08.00-09.00 | breakfast | |||
| 09.15-09.30 | opening | |||
| 09.30-12.30 | Franco Fummi
Univ. of Verona Italy |
Hardware Design Languages and Simulation |
||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Alberto Ferrari
PARADES Italy |
Hardware-Software Codesign | ||
| May 23 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Moshe Vardi
Rice Univ. USA |
Property Specification Formalisms | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Rolf Drechsler
Univ. of Bremen Germany |
Automatic Test Pattern Generation | ||
| May 24 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Koen Claessen
Chalmers Univ. of Tech. Sweden |
Symbolic Trajectory Evaluation | ||
| 12.30-14.00 | lunch | |||
| May 25 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Gianpiero Cabodi
Politecnico of Torino Italy |
BDD-Based Hardware Verification | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Aarti Gupta
NEC Labs America USA |
SAT-Based Hardware Verification | ||
| May 26 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Wolfgang Paul
Saarland Univ. Germany |
Verifying the Entire Hardware of Distributed Real-Time Systems (1 - 2) |
||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Alessandro Cimatti
ITC-IRST Italy |
Decision Procedures | ||
| May 27 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Panagiotis Manolios
Georgia Inst. of Tech. USA |
Refinement and Theorem Proving | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | John Harrison
Intel USA |
Verification of Floating Point Units | ||
| 18.00-18.15 | closing | |||