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

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*                                                                 *
*                       Calls for Participation                   *
*                                                                 *
* LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 and affiliated workshops *
*                                                                 *
*                 Verona, Italy, August 24 - 28, 2004             *
*                                                                 *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Hotel Reservation Deadline for town center: June 6 <== 3 weeks left
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

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

IMPORTANT: There are many events in Verona during August.
Therefore, hotels availability is limited. We can guarantee the
hotels only for those who register during the early registration period,
namely until 15-06-2004. In addition, in order to have a
hotel in the town center, you must register before 06-06-2004.

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

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

                     Main conferences:

LOPSTR'04: International Symposium on Logic-based
           Program Synthesis and Transformation
           August, 26 - 28
           http://www.sci.univr.it/~lopstr04

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

  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/