Call for Papers: LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04
Fausto Spoto <[email protected]> Wed, 17 Mar 2004 15:47:27 +0100
| Newsgroups | gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.advertisments |
|---|---|
| Organization | Dipartimento di Informatica, Verona |
| Message-ID | <[email protected]> |
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* *
* 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 **
PLID'04: First International Workshop on Programming Language
Interference and Dependence
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 **