Verification 2008
Ben-Gurion University


Welcome to Verification 2008 Homepage

BGU Verification 08 will be held on Wednesday, April 09, 2008 under the auspices of the Lynne and William Frankel Center for Computer Science at BGU.

Reseachers from Academia and Industry as well as graduate and undergraduate students are welcome to attend the seminar. Participation is free.

For additional information, please contact the organizer:
* Uri Abraham, Tel 08-6472711 email: abraham 'at'
* Shlomi Dolev, Tel 08-6472715 email: dolev 'at'

April 09, 2008