[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

and more.

Please visit the conference web site http://www-cav2009.imag.fr/ for 
more information and for registration.

The Organizers