Submitting Papers

The deadline for submitting conference papers, demos, and for the doctoral consortium has now passed. Some individual workshops may still be accepting papers. See Workshops for more information.

The conference support system is open for submission of papers.  All papers must be submitted electronically through this system: https://www.conftool.net/icail2015/

To submit a paper, users must first have created a user account.  Instructions for how to register for an account are given at the above link.  Once an account has been created, users must log into the system, choose the option “Your Submissions”, then follow the instructions detailing the steps to follow to submit a paper.

The conference has two submission track options: “Regular Paper,” which covers submission to the main conference, and “Demonstration,” which covers extended abstracts of applications and tools for the conference’s demonstration session.

The deadline for submission of abstracts (which is optional) is January 9, 2015.

The deadline for submission of papers is January 16, 2015.

The deadline for submission of demonstration abstracts is January 23, 2015.