........................................................................
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/
........................................................................
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
