[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