For Authors

Submission Details

The conference welcomes research contributions to solicit discussions and brainstorming about relevant aspects related to Computational Logic. Accepted original contributions will be included in a volume of the CEUR Workshop Proceedings.  Accepted non-original contributions will be given visibility on the conference Web site including a link to the original publication, if available.

Contributions must not exceed 15 pages (including references) for full papers and 8 pages (including references) for short papers. Contributions must be formatted using the Springer LNCS style. All contributions must be written in English.

Contributions can be submitted in PDF format at https://easychair.org/conferences/?conf=cilc20210

At least one author for each accepted contribution is required to register to the conference and to present the paper. The event is organized by GULP and, therefore, Italian attendants are required to be members of GULP.

Journal Special Issue

In the trail of the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be determined). Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue.

Important Dates
Paper submission deadline: July 14^th, 2021 (extended and strict)
Notification: August 11^th, 2021
Camera Ready: August 25^th, 2021 (strict)
Conference: September, 7^th-9^th, 2021