[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CAV 2010 Last Call for Participation and regular registration



........................................................................
		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/
........................................................................