[TYPES/announce] CFP: PLAS 2013 (Deadline extended to March 4)

[Nikhil Swamy]

SUBMISSION DEADLINE EXTENDED TO MARCH 4, 2013

-------------------------------------------------------------------------------



                  ACM SIGPLAN Eighth Workshop on

        Programming Languages and Analysis for Security (PLAS)



                        June 20, 2013

                         Seattle, USA

                    Co-located with PLDI 2013

        http://research.microsoft.com/en-us/events/plas2013/



PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems.



--------------------------------------------------------------------------------

Important Dates



Submissions due:        March 4, 2013 (anywhere on Earth)

Notification:                   April 5, 2013

PLAS 2013 workshop: June 20, 2013



--------------------------------------------------------------------------------

Call for papers



The scope of PLAS includes, but is not limited to:



* Compiler-based security mechanisms or runtime-based security

   mechanisms such as inline reference monitors



* Program analysis techniques for discovering security

   vulnerabilities



* Automated introduction and/or verification of security enforcement

   mechanisms



* Language-based verification of security properties in software,

   including verification of cryptographic protocols



* Specifying and enforcing security policies for information flow and

   access control



* Model-driven approaches to security



* Security concerns for web programming languages



* Language design for security in new domains such as cloud computing

   and embedded platforms



* Applications, case studies, and implementations of these techniques



Submission guidelines



We invite papers in two categories:



   Full papers should be at most 12 pages long including bibliography

   and appendices. Papers in this category are expected to have

   relatively mature content. Full paper presentations will be 25

   minutes each.



   Position papers should be at most 6 pages long including

   bibliography and appendices. Preliminary and exploratory work are

   welcome in this category. Position paper presentations will be 10

   minutes each. Authors submitting papers in this category must

   prepend the phrase Position Paper: to the title of the submitted

   paper.



The submission site is open: https://www.easychair.org/conferences/?conf=plas2013



Submissions should be PDF documents typeset in the ACM proceedings format using 10pt fonts. SIGPLAN-approved templates 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. All submissions must be in English. Page limits are strict.



Both full and position papers must describe work not published in other refereed venues (see the SIGPLAN republication policy at http://www.acm.org/sigs/sigplan/republicationpolicy.htm for more details). Accepted papers will appear in the workshop proceedings which will be distributed to workshop participants and be available in the ACM Digital Library.



--------------------------------------------------------------------------------

Program committee



   Aslan Askarov (Harvard University)

   Karthikeyan Bhargavan (INRIA)

   Nataliia Bielova (INRIA-Rennes)

   Vinod Ganapathy (Rutgers)

   Ana Almeida Matos (Instituto Superior Técnico and Instituto de Telecomunicações)

   Prasad Naldurg (co-chair) (MSR India)

   Grigore Rosu (University of Illinois at Urbana-Champaign)

   Nikhil Swamy (co-chair) (MSR Redmond)

   Ankur Taly (Google)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130228/1b73b9e6/attachment.html>