[TYPES/announce] [SAS-LOPSTR-PPDP-PLID 2008] Call for participation

German Vidal gvidal at dsic.upv.es
Thu Jun 5 17:15:32 EDT 2008


******************************************************************

                      Call for Participation

                 SAS - LOPSTR - PPDP - PLID  2008
                 http://www.dsic.upv.es/~slp2008/

                         Valencia, Spain

******************************************************************
*  EARLY REGISTRATION DEADLINE IS APPROACHING:   JUNE 10,  2008  *
******************************************************************

SAS 2008, July 16-18
Static Analysis Symposium
http://www.dsic.upv.es/~sas2008/
-> Accepted papers: http://www.dsic.upv.es/~sas2008/accepted_papers.html

LOPSTR 2008, July 17-18
Symposium on Logic-Based Program Synthesis and Transformation 
http://www.informatik.uni-kiel.de/%7Emh/lopstr08/

PPDP 2008, July 15-17
ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
http://www.clip.dia.fi.upm.es/Conferences/PPDP08/
-> Accepted papers: 
http://www.clip.dia.fi.upm.es/Conferences/PPDP08/accepted.html

PLID 2008, July 15
Workshop on Programming Language Interference and Dependence
http://www.clip.dia.fi.upm.es/Conferences/PLID08/home.php

*** REGISTRATION

Please register online at http://www.dsic.upv.es/~slp2008/
The early registration deadline is June 10, 2008.

******************************************************************


More information about the Types-announce mailing list