Call for Papers
PLAS 2006
ACM SIGPLAN Workshop on
Programming Languages and Analysis for Security
http://www.cis.upenn.edu/~stevez/plas06.html
co-located with
ACM SIGPLAN PLDI 2006
Conference on Programming Language Design and Implementation
Ottawa, Canada, June 10, 2006
The goal of PLAS 2006 is to provide a forum for researchers and
practitioners to exchange and understand ideas and to seed new
collaboration on the use of programming language and program analysis
techniques that improve the security of software systems.
The scope of PLAS includes, but is not limited to:
-- Language-based techniques for security
-- Program analysis and verification (including type systems and
model checking) for security properties
-- Compiler-based and program rewriting security enforcement
mechanisms
-- Security policies for information flow and access control
-- High-level specification languages for security properties
-- Model-driven approaches to security
-- Applications, examples, and implementations of these
security techniques
Submission:
The deadline for submissions of technical papers is March 03, 2006.
Papers must be formatted according the ACM proceedings format and
should be no longer than 10 pages in this format. This 10 page limit
includes everything (i.e., it is the total length of the paper).
Email the submissions to stevez AT cis.upenn.edu. Submissions should
be in PDF (preferably) or Postscript that is interpretable by
Ghostscript and printable on US Letter and A4 sized paper. Templates
for SIGPLAN-approved LaTeX format can be found at
http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend
using this format, which improves greatly on the ACM LaTeX format.
Submitted papers must describe work unpublished in refereed venues,
and not submitted for publication elsewhere (including journals and
formal proceedings of conferences and workshops). See the SIGPLAN
republication policy for more details
http://www.acm.org/sigs/sigplan/republicationpolicy.htm
Important dates:
Submission deadline March 03, 2006
Notification of acceptance April 03, 2006
Final papers due April 24, 2006
Workshop June 10, 2006
Organizers:
Steve Zdancewic, University of Pennsylvania,
stevez AT cis.upenn.edu
Vugranam C. Sreedhar, IBM T.J. Watson Research Center
vugranam AT us.ibm.com
Program Committee:
Amal Ahmed, Harvard University, USA
Anindya Banerjee, Kansas State University, USA
Adriana Compagnoni, Stevens Institute of Technology, USA
Elena Ferrari, University of Insubria at Como, Italy
Michael Hicks, University of Maryland, USA
Annie Liu, State University of New York at Stony Brook, USA
Brigitte Pientka, McGill University, Canada
Sriram Rajamani, Microsoft Research, India,
Vugranam Sreedhar, IBM TJ Watson Research Center, USA
Westley Weimer, University of Virginia, USA
Steve Zdancewic, University of Pennsylvania, USA
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
