PHOTO GALLERY
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' cs.bgu.ac.il
* Shlomi Dolev, Tel 08-6472715 email: dolev 'at' cs.bgu.ac.il