[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