5th edition of CASH paper presentation
March 6 at 9:30
Salle 316
Program:
- Julien Braine presents:
Counterexample-guided Abstraction Refinement de Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, et Helmut Veith.
CAV 2000
5th edition of CASH paper presentation
March 6 at 9:30
Salle 316
Program:
3rd edition of CASH paper presentation will be on
February 14 at 10:00
Salle 316
Program (Special session CCPE):
3rd edition of CASH paper presentation will be on
january 18 at 9:30 (coffee at 9:20)
Salle du conseil LIP (394N)
2nd edition of CASH paper presentation will be on
December 14 at 10:00 (coffee at 9:50)
Salle de réunion 316 Centre
1st edition of CASH paper presentation will be on
November 30 at 9:30 (coffee at 9:20)
Salle de réunion 316 Centre