[Agda] LICS 2013 - Call for Short Presentations

Andrzej Murawski A.Murawski at warwick.ac.uk
Tue Apr 2 00:41:57 CEST 2013

28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013)
June 25–28, 2013
New Orleans, USA

Call for Short Presentations

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.


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

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.


Submission Deadline: 20 April 2013
Author Notification: 6 May 2013
Final Version Deadline: 30 May 2013
The submission server is open.


Program Chair
Orna Kupferman orna at cs.huji.ac.il

More information about the Agda mailing list