Seventh 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
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
FCC 2010 was held in Edinburgh, UK
on July 20. It was affiliated with
Page maintained by
last modified on March 3, 2011.