[TYPES/announce] CFP: Programming Languages and Analysis for Security (PLAS 2006)

Steve Zdancewic stevez at cis.upenn.edu
Fri Jan 6 14:51:23 EST 2006



                                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




More information about the Types-announce mailing list