*****************************************************************
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/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
