|
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.
|