Call for Papers


Submissions deadline EXTENDED: September 16, 2012

23:59 SST (Samoa Standard Time, UTC-11 hours)

Submission details:

Proceedings will be published in the Springer series Lecture Notes in Computer Science (LNCS).  

A post-conference volume of selected works will be published in the Annals of Pure and Applied Logic (APAL).

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.

LFCS has established the best student paper award and named it after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.

Important Dates:

  • Submissions deadline: September 16, 2012, 23:59 SST (Samoa Standard Time, UTC-11 hours)
  • Notification: October 10, 2012
  • Final papers for proceedings: October 20, 2012
  • Symposium dates: January 6 – 8, 2013