4:00 - 5:00pm
Lecture
Scientific emergencies posed by the industry : fine causality, multi-clock circuits, ECOs and formal verification
Gérard Berry
