[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

******************************************************************
                     Call for Participation

               SAS 2007 - LOPSTR 2007 - PLID 2007

                     Kongens Lyngby, Denmark
******************************************************************
IMPORTANT DATES:
 Early registration: July 2, 2007
******************************************************************

LOPSTR 2007, August 22-24
International Symposium on Logic-based Program Synthesis and Transformation
http://www.cs.kent.ac.uk/events/conf/2007/lopstr/

SAS 2007, August 22-24
Static Analysis Symposium
http://www.imm.dtu.dk/sas2007
Talks schedule: http://www.imm.dtu.dk/sas2007/program.htm

PLID 2007, August 21
Workshop on Programming Language Interference and Dependence
http://www.dcs.kcl.ac.uk/pg/cmu/plid07/

REGISTRATION

Please register online at http://palace.imm.dtu.dk/SASLOPSTR/
The early registration deadline is July 2, 2007.


-- 
Terkel K. Tolstrup, PhD
Assistant Professor, IMM, DTU
http://www.imm.dtu.dk/~tkt

Reply via email to