[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
http://csf2012.seas.harvard.edu/
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.
*****************************************************
WORKSHOP PROPOSALS
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,
etc.
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.
*****************************************************
IMPORTANT DATES
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
*****************************************************
PROGRAM COMMITTEE
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