Submission deadline: September 14, 2008
Proceedings will be published in the LNCS series. There will be a post-conference volume of selected works published in the Annals of Pure and Applied Logic. Submissions should be made electronically via https://www.easychair.org/conferences/?conf=lfcs09. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.