[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to