[TYPES/announce] SAS 2007: Call for Participation
Terkel K. Tolstrup
tkt at imm.dtu.dk
Thu Jun 14 16:33:45 EDT 2007
******************************************************************
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
More information about the Types-announce
mailing list