CILC 2021 - Call for Papers

[Stefania MONICA]

36th Italian Conference on Computational Logic (CILC)

 

www.ailab.unipr.it/cilc21

Call for Papers

  

Aims and Scope

The Italian Conference on Computational Logic (CILC) is the annual conference organized by the Group of researchers and Users of Logic Programming (GULP).

Since its first edition, which was held in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers, and developers working in the field of computational logic to meet and exchange ideas. Over the years, the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas, such as artificial intelligence and deductive databases.

The 36th edition will be held in Parma (Italy) from September 7th to September 9th, 2021. Due to the COVID-19 pandemic, online participation to the conference will be guaranteed.

Topics of Interest

The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions:

• Full papers, possibly already submitted to other conferences or journals, and
• Short papers, which are particularly suitable to present work in progress, software prototypes, extended abstracts of doctoral theses, and general overviews of research projects.

Topics of interest include, but are not limited to:

• Abductive Logic Programming
• Analysis, transformation, validation, and verification of programs
• Answer Set Programming
• Applications of Computational Logic
• Approximate Reasoning
• Automated Theorem Proving
• Computational Logic and formal methods in Artificial Intelligence
• Computational Logic for concurrency, coordination, mobility, and objects
• Data Mining and Data Integration
• Deductive Databases
• Extensions and integrations of declarative programming paradigms
• Inductive Logic Programming
• Knowledge representation and extraction
• Logic Programming, Constraint Programming, and other paradigms of declarative programming
• Logics for strategic reasoning
• Model Checking
• Model-Based Reasoning
• Multi-Agent Systems
• Natural Language Processing
• Non-Monotonic Reasoning
• Pedagogy of Computational Logic
• Planning and scheduling
• Probabilistic Logic Programming
• Semantic Web
• Temporal logics
• Tools and environments for program development
• Treatment of uncertain and incomplete knowledge

Organizing Committee

• Stefania Monica, University of Modena and Reggio Emilia
  
• Federico Bergenti, University of Parma
  

Contributions

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 for full papers and 8 pages 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: June 30th, 2021

• Notification of acceptance: July 28th, 2021

• Camera ready: August 25th, 2021

• Conference: September 7th-9th, 2021

[Stefania MONICA]

[Stefania MONICA]

36th Italian Conference on Computational Logic (CILC)

 

www.ailab.unipr.it/cilc21

Last Call for Papers with Extended Deadlines

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 yet published in a journal, might be included in the issue.

Important Dates

• Paper submission: July 14th, 2021 (extended and strict)

• Notification of acceptance: August 11th, 2021

• Camera ready: August 25th, 2021 (strict)

• Conference: September 7th-9th, 2021

[Stefania MONICA]

36th Italian Conference on Computational Logic (CILC)

 

www.ailab.unipr.it/cilc21

Call for Participation

  

The Italian Conference on Computational Logic (CILC) is the annual conference organized by the Group of researchers and Users of Logic Programming (GULP). The 36th edition of the conference will be held in Parma (Italy) from September 7th to September 9th, 2021.

You are kindly invited to participate to the conference in person, but, due to the COVID-19 pandemic, online participation to the conference is possible. The following link:

https://www.ailab.unipr.it/cilc21/for-participants

provides needed information to register and to participate.

Please note that the deadline for registration is August, 28th 2021. 

Looking forward to see you in Parma!

Stefania and Federico