Sixth Workshop on
Formal and Computational Cryptography
FCC 2012

Previous editions

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 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 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 was held in Carnegie Mellon University, Pittsburgh, PA, USA on June 26, 2008. It was affiliated with CSF'08 and co-located with CSF'08 and LICS'08.

FCC'09 was held at Port Jefferson, NY, USA on July 11-12, It was affiliated and co-located with CSF'09.

FCC'10 was held in Edinbourgh, UK on July 20, 2010 just after CSF'10. It was affiliated with the Federated Logic Conference 2010.

FCC'11 was held in Paris, France on June 30, 2011. It was affiliated with CSF'11.

Page maintained by Bogdan Warinschit, last modified on 22/2/2012.