[TYPES/announce] CSF 2012 Call for Workshops

Matteo Maffei maffei at cs.uni-saarland.de
Fri Oct 14 10:21:43 EDT 2011

CSF 2012 Call for Workshops
25th IEEE Computer Security Foundations Symposium


June 25 - 27, 2012
Harvard University, Cambridge MA, USA

The Computer Security Foundations Symposium is an annual conference
for researchers in computer security, to examine current theories of
security, the formal models that provide a context for those theories,
and techniques for verifying security.


The Computer Security Foundations Symposium welcomes colocated
workshops on subject related to CSF and of interest for the CSF
audience. Organizational support is provided in terms of room booking,

Workshop proposals are due November 15th, 2011. Proposals (about 2-3
pages) should be submitted by email to the program chairs. They should
contain the satellite event name and acronym; the names and contact
information of the organizers; a brief description of the event topic
for later use in publicity material; the expected size of the audience
and the history of the event, where applicable.


Workshop proposal: November 15th, 2011
Papers due: February 9, 2012, 11:59pm Eastern Standard Time
Panel proposals due: March 14, 2012
Notification: March 29, 2012
Symposium: June 25 - 27, 2012


Martín Abadi, Microsoft Research & Univ. of Santa Cruz, USA
Michael Clarkson, The George Washington Univ., USA
Véronique Cortier (co-chair), CNRS Nancy, France
Anupam Datta, Carnegie Mellon Univ., USA
Joan Feigenbaum, Yale Univ., USA
Riccardo Focardi, Univ. of Venice, Italy
Cedric Fournet, Microsoft Research, UK
Deepak Garg, MPI-SWS, Germany
Steve Kremer, INRIA Nancy, France
Ralf Küsters, Univ. of Trier, Germany
Matteo Maffei, Univ. of Saarland, Germany
Catuscia Palamidessi, INRIA Saclay, France
Pierangela Samarati, Univ. of Milano, Italy
Vitaly Shmatikov, Univ. of Texas, USA
Nikhil Swamy, Microsoft Research, USA
Alwen Tiu, Australian National Univ., Australia
Dominique Unruh, Univ. of Tartu, Estonia
Steve Zdancewic (co-chair), Univ. of Penn, USA

PC Chairs
Véronique Cortier, CNRS Nancy, France
Steve Zdancewic, Univ. of Penn, USA

General Chair	
Stephen Chong, Harvard University, USA

Publications Chair
Deepak Garg, Max Planck Institute for Software Systems, Germany

More information about the Types-announce mailing list