25-28 June 2013
New Orleans LA, U.S.A.
********************************************************** 28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013) June 25-28, 2013 New Orleans, USA Call for Short Presentations http://lii.rwth-aachen.de/lics/lics13/lics13-short.html ********************************************************** As in the past, there will be a short-presentation session during LICS 2013, which is intended for descriptions of works in progress, student projects, trailers for longer presentations at affiliated workshops, and relevant research being published elsewhere; other brief communications may be acceptable. Talks can be on any topic related to logic in computer science as summarized in the LICS call for papers. Proceedings of these sessions will not be published. SUBMISSION INSTRUCTIONS Proposals for short (10-minute) presentations must be submitted in the IEEE (2-column; 10pt) proceedings format and must be 1 page long, including references. Please refer to a longer version, should one be available. Style files and instructions for using them can be found here. (The file bare_conf.tex may be used as a template.) The URL for submitting papers is http://www.easychair.org/conferences/?conf=licsshort2013. This link will bring you to the ?Login Page for LICS 2013?. Either sign in using your existing EasyChair account, or sign up for a new account. You'll reach the ?LICS 2013 (author)? page. The page should be self-explanatory. To submit a paper, click ?New Submission? on top and follow instructions. IMPORTANT DATES Submission Deadline: 20 April 2013 Author Notification: 6 May 2013 Final Version Deadline: 30 May 2013 The submission server is open. CONTACT Program Chair Orna Kupferman orna@cs.huji.ac.il