Workshop on Formal and Computational Cryptography
The first edition of this workshop was held in Paris in June 2005 under the name Workshop on the link between formal and computational models
FCC'06, the second edition of this workshop, was held in Venice on July 9, 2006. It was affiliated with ICALP 2006 and co-located with CSFW 2006 and ICALP 2006.
FCC'07, the third edition of this workshop, was held in Venice on July 5, 2007. It was co-located with CSF'07 and the Workshop on the Analysis of Security APIs.
FCC'08, the fourth edition of this workshop, was held in Carnegie Mellon University, Pittsburgh, PA, USA on June 26, 2008. It was affilated with CSF'08 and co-located with CSF'08 and LICS'08.