[agents] CILC 2021 - Call for Papers

[Federico BERGENTI]

36th Italian Conference on Computational Logic (CILC)



www.ailab.unipr.it/cilc21<https://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<https://www.programmazionelogica.it> (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<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>. 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: June 30th, 2021
  *   Notification of acceptance: July 28th, 2021

  *   Camera ready: August 25th, 2021

  *   Conference: September 7th-9th, 2021

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20210310/bd82bea2/attachment-0001.html>