........................................................................
22nd International Conference on
Computer Aided Verification (CAV)
CAV 2010
http://www.liafa.jussieu.fr/~touili/cav2010/
July 15 - 19, 2010
Edinburgh, United Kingdom
Call for Participation
DEADLINE FOR REGULAR REGISTRATION: WEDNESDAY 30th JUNE, 2010
For details about the conference program, please visit our web page:
http://www.liafa.jussieu.fr/~touili/cav2010/
........................................................................
_______________________________________________
Om-announce mailing list
[email protected]
http://openmath.org/mailman/listinfo/om-announce
