[TYPES/announce] CFP: European Symposium on Programming (ESOP)
Sophia Drossopoulou
scd at doc.ic.ac.uk
Tue Sep 11 11:30:16 EDT 2007
A three day conference devoted to fundamental issues in the
specification, analysis, and implementation of programming
languages and systems.
Abstracts due: 5th October 2007 (strict)
Submissions due: 12th October 2007 (strict)
Acceptance notification: 7th December 2007
Camera-ready papers due: 4th January 2008
ETAPS conference: 29th March - 6th April 2008
Invited Speaker is Thierry Coquand, Goeteborg University, Sweden.
More at http://esop2008.doc.ic.ac.uk/
Please, contact me for any further questions.
Sophia Drossopoulou
http://www.doc.ic.ac.uk/~scd/index.html
More information about the Types-announce
mailing list