[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
****************************************************************** 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. ******************************************************************