LOPSTR + PEPM + PPDP + SAS'04: Call for Participation

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*                                                                   *
*                       Calls for Participation                     *
*                                                                   *
*  LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 and Affiliated Workshops  *
*                                                                   *
*                 Verona, Italy, August 24 - 28, 2004               *
*                                                                   *
*              Early Registration Deadline: July 6, 2004            *
*                                                                   *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

Please register on-line at:
http://www.sci.univr.it/~sas04/START/www/REG/

Tickets for the opera at the Arena (AIDA by F. Zeffirelli, on Aug 26)
can be booked through our registration system.

                     Main conferences:

LOPSTR'04: International Symposium on Logic-based
           Program Synthesis and Transformation
           August, 26 - 28
           http://www.sci.univr.it/~lopstr04
           Talks schedule:
http://wwwhome.cs.utwente.nl/~etalle/lopstr04_preliminaryprogram.txt

  PEPM'04: ACM SIGPLAN Symposium on Partial Evaluation
           and Program Manipulation
           August, 24 - 25
           http://www.sci.univr.it/~pepm04
           Talks schedule:
http://profs.sci.univr.it/~pepm04/schedule.html

  PPDP'04: 6th ACM-SIGPLAN International Conference
           on Principles and Practice of Declarative Programming
           August, 24 - 26
           http://www.sci.univr.it/~ppdp04
	   Talks schedule: http://www.sci.univr.it/~ppdp04/talks.html

   SAS'04: The 11th International Static Analysis Symposium
           http://www.sci.univr.it/~sas04
           August, 26 - 28
	   Talks schedule: http://www.sci.univr.it/~sas04/talks.html


                     Affiliated Workshops:

  PLID'04: Workshop on Programming Language Interference and Dependence
           http://www.sci.univr.it/~mastroen/noninterference.html

 SONDA'04: Workshop on Software Analysis and Development
           for Pervasive Systems
           http://www.asap.ecs.soton.ac.uk/sonda/


Plenary invited speakers:
Aug 24: S. McIlraith
Aug 25: Y. Smaragdakis
Aug 26: U. Shapiro
Aug 27: T. Henzinger
Aug 28: G. Morrisett