Last Calls for Papers: LOPSTR'04, PEPM'04

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*                                                                   *
*                        Last Calls for Papers                      *
*                                                                   *
*                 Verona, Italy, August 24 - 28, 2004               *
*                                                                   *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

                     Main conferences:

LOPSTR'04: International Symposium on Logic-based
           Program Synthesis and Transformation
           http://www.sci.univr.it/~lopstr04
           ** full papers submission deadline: April 25, 2004 **
           ** extended abstracts submission deadline: May 5, 2004 **

  PEPM'04: ACM SIGPLAN Symposium on Partial Evaluation
           and Program Manipulation
           http://www.sci.univr.it/~pepm04
           ** paper submission deadline: May 5, 2004 **


                     Affiliated Workshops:

    AS'04: 5th International Workshop on Action Semantics
           http://www.brics.dk/Projects/AS/2004/
           ** paper submission deadline: May 1, 2004 **

  PLID'04: First Workshop on Programming Language Interference and
Dependence
           http://www.sci.univr.it/~mastroen/noninterference.html
           ** expression of interest deadline: July 1, 2004 **

 SONDA'04: Workshop on Software Analysis and Development
           for Pervasive Systems
           http://www.asap.ecs.soton.ac.uk/sonda/
           ** paper submission deadline: May 16, 2004 **