[Om-announce] CAV 2010 Call for Participation and early registration

[Tayssir Touili]

........................................................................
		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 EARLY REGISTRATION: MONDAY 17th MAY, 2010

For details about the conference program, please visit our web page:

             http://www.liafa.jussieu.fr/~touili/cav2010/
........................................................................