Seventh Workshop on
Formal and Computational Cryptography
FCC 2011


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 with CSF'09 and co-located with CSF'08 and LICS'08.

FCC 2010 was held in Edinburgh, UK on July 20. It was affiliated with FLoC 2010.

Page maintained by Dominique Unruh, last modified on March 3, 2011.