[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] [CAV09] Call for Participation - CAV 2009, Grenoble
Call for Participation CAV 2009
The 21st International Conference on Computer Aided Verification (CAV
2009) will be held between June 26th and July 2nd, 2009 in Grenoble France.
The program includes:
* a tutorial day
* 4 conference days
* 4 invited speakers
* 14 satellite workshops
Please visit the conference web site http://www-cav2009.imag.fr/ for
more information and for registration.