CosyProofs 2010
April
12–16, 2010 — Barbizon
Computational and Symbolic Proofs of Security (CosyProofs) 2010
Spring School and French-Japanese collaboration
workshop
Apr. 12th - Apr. 16th, 2010
Presentation submission
If you wish to give a presentation, please send a 10 lines up to 3 pages
abstract, in pdf
format to
the organizers , with
Subject: CosyProofs 2010 submission
No later than
January 22nd, 2010