B et cryptographie

http://www.scd.uhp-nancy.fr/docnum/SCD_T_2010_0034_BENAISSA.pd

FM 2012

CALL FOR PAPERS  FM 2012

*********************************************
18TH INTERNATIONAL SYMPOSIUM

 ON FORMAL METHODS
August  27 - 31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr
*********************************************

*IMPORTANT DATES:

Submission: March 5th, 2012
Notification: May 7th, 2012
Camera ready: June 4th, 2012