WEBSITE NAVIGATION
Home
Call for Papers
Instructions for authors
Important Dates
Submissions
Invited Speakers
Accepted Papers
program
Publication
Chairs
Program committee
Organizing committee
Registration
Travel
กก

PUBLICATION

The proceedings of LORI-4 will be published in the Springer LNCS/Folli series.

There will be a follow-up issue of the Journal of Logic and Computation. Details will be given during the workshop.


กก

IMPORTANT DATES
Paper submission: June 1, 2013
Deadline Exetnded to June 7, 2013
Notification of acceptance: July 1, 2013
Camera ready version: July 16, 2013
Conference dates: October 9 - 12, 2013

SPONSORS
lori
CSLC

Last Updated by Haibo Xu, Aug.27,2013