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.
******************************************************************
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment