[Om-announce] CAV 2010 Last Call for Participation and regular 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 REGULAR REGISTRATION: WEDNESDAY 30th JUNE, 2010

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

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