Call for Papers

Submission deadline: September 14, 2008


Submission details:

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 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.

Important Dates:

  • Submission server available: September 1, 2008
  • Submissions deadline (firm): September 14, 2008
  • Notification: October 10, 2008
  • Final papers for proceedings: October 19, 2008
  • Symposium dates: January 3 – 6, 2009