[TYPES/announce] PLDI 2012: Preliminary call for papers and workshops

[Matt Might]

** Important Dates **

 Paper submission:   6 November 2011
 Notification:       2 February 2012
 Conference:         11-16 June 2012

In 2012, the SIGPLAN conference on Programming Language Design and
Implementation will be hosted in Beijing, China, and it will be
co-located with ECOOP, LCTES, ISMM, TRANSACT, STOP, ASAIC and more!

The organizers strongly encourage paper submissions related to:

 - Language designs and extensions
 - Static and dynamic analysis of programs
 - Domain-specific languages and tools
 - Performance analysis, evaluation, and tools
 - Program transformation and optimization
 - Interaction of compilers/runtimes with underlying systems
 - Checking or improving the security or correctness of programs
 - Program synthesis
 - Memory management
 - Program understanding
 - Novel programming models
 - Debugging techniques and tools
 - Type systems and program logics
 - Parallelism, both implicit and explicit

(Submissions are by no means restricted to these topics.)

======================================

Proposals are also invited for workshops and tutorials. Co-located
events will be held on June 15 or June 16, 2012.  Proposals should be
submitted by email to (xyzhang at cs.purdue.edu) and (cwu at
ict.ac.cn). Proposals will be evaluated as they arrive. Proposal
acceptance will be made on a first-come-first-served basis limited by
the available hotel conference rooms. More information at:

  http://pldi12.cs.purdue.edu/content/calls/#cfwt


For more information on PLDI, please see the PLDI 2012 web site:

  http://pldi12.cs.purdue.edu/


Sincerely,

Matt Might (on behalf of the PLDI 2012 organizers)