(j3.2006) [Fwd: SIGPLAN Posting (Upcoming Conferences and Activities)]

[Van Snyder]

-------- Forwarded Message --------
From: Jack Davidson <jwd at VIRGINIA.EDU>
Reply-To: Jack Davidson <jwd at VIRGINIA.EDU>
To: SIGPLAN-ANNOUNCE at LISTSERV.ACM.ORG
Subject: SIGPLAN Posting (Upcoming Conferences and Activities)
Date: Mon, 5 Nov 2007 10:25:50 -0500
Dear SIGPLAN Member:

This message contains information about upcoming SIGPLAN conferences and 
related conferences/workshops that may be of interest to SIGPLAN members.

Three paper submission deadlines are imminent: PLDI (November 12), MSPC 
(November 6), and HIPS.  More information is below.

Also, POPL is the next major SIGPLAN conference. POPL 2008 will be held 
in San Francisco, California on January 10-12, 2008. More information 
about the conference and the affiliated events is included below.

****************************
* PLDI 2008: ACM SIGPLAN Conference on Programming Language Design and 
Implementation
  Dates: June 7-13, 2008
  Location: Tucson, AZ
  Paper submission deadline: November 12, 2007 (Abstract); November 15, 
2007 (Paper)
  URL: http://pldi2008.cs.ucr.edu/

****************************
* MSPC 2008: ACM SIGPLAN Workshop on Memory Systems Performance & 
Correctness
  Date: March 2, 2008
  Location: Seattle, Washington USA, Co-located with ASPLOS 2008
  Paper submission deadline: November 6, 2007
  URL: http://www.cs.umass.edu/MSPC08

****************************
* HIPS 2008: 13th International Workshop on High-Level Parallel 
Programming Models and Supportive Environments
  Date: April 14, 2008
  Location: Miami, FL USA, Co-located with IPDPS 2008
  Paper submission deadline: November 27, 2007
  URL: http://cobweb.ecn.purdue.edu/~smidkiff/hips


*****************************
* POPL 2008 will be held in San Francisco, CA on January 10-12, 2008. 
The list of accepted papers can be found on the POPL website.
  URL: http://www.cs.ucsd.edu/popl/08/

In addition to the main conference, there are nine affiliated events.

    * Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
          o January 7-8, 2008
          o URL: http://www.program-transformation.org/PEPM08

    * Practical Applications of Declarative Languages (PADL)
          o January 7-8, 2008
          o URL: http://www.ist.unomaha.edu/padl2008/

    * Verification, Model Checking and Abstract Interpretation (VMCAI)
          o January 7-9, 2008
          o URL: http://cs.uic.edu/vmcai08

    * Using Proof Assistants for Programming Language Research or, How 
to write your next POPL paper in Coq
          o January 8, 2008
          o URL: http://www.cis.upenn.edu/~plclub/popl08-tutorial/

    * Declarative Aspects of Multicore Programming (DAMP)
          o January 9, 2008
          o URL: http://www.clip.dia.fi.upm.es/Conferences/DAMP08

    * Programming Language Technologies for XML (PLAN-X)
          o January 9, 2008
          o URL: http://gemo.futurs.inria.fr/events/PLANX2008/index.php

    * Thirty Years of Abstract Interpretation
          o January 9, 2008
          o URL: http://30yai.di.univr.it/

    * Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
          o January 13, 2008
          o URL: http://fool08.kuis.kyoto-u.ac.jp/

    * Semantics, Program Analysis and Computing Environments for Memory 
Management (SPACE)
          o January 13, 2008
          o URL: http://www.cs.cornell.edu/Conferences/space2008





 <http://cobweb.ecn.purdue.edu/%7Esmridkiff/hips/>