Call for Papers: LOPSTR04, PEPM04, PPDP04, SAS04 and affiliated workshops

Fausto Spoto <[email protected]> Mon, 23 Feb 2004 17:30:49 +0100

Newsgroups	gmane.comp.science.types,gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.advertisments
Organization	Dipartimento di Informatica, Verona
Message-ID	<[email protected]>

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*                                                                   *
*                           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 **

  PPDP'04: 6th ACM-SIGPLAN International Conference
           on Principles and Practice of Declarative Programming
           http://www.sci.univr.it/~ppdp04
           ** intent to submit: March 28, 2004 **
           ** paper submission deadline: April 4, 2004 **

   SAS'04: The 11th International Static Analysis Symposium
           http://www.sci.univr.it/~sas04
           ** paper submission deadline: April 4, 2004 **


                     Affiliated Workshops:

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

Non-Interference'04:
           Workshop on non-Interference in Language-based Security
           http://www.sci.univr.it/~mastroen/noninterference.html
           ** paper submission deadline: May 16, 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 **