LOPSTR 2007 Call for Participation

[A.M.King]

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

                 SAS 2007 - LOPSTR 2007 - PLID 2007

                       Kongens Lyngby, Denmark
******************************************************************

CONFERENCES

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

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/