Submissions deadline EXTENDED: September 16, 2012
23:59 SST (Samoa Standard Time, UTC-11 hours)
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 https://www.easychair.org/conferences/?conf=lfcs2013.
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.