[Haskell] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[Francesco Calimeri]

*[apologize for multiple postings]*



Preliminary Call for Papers

41st International Conference on Logic Programming (ICLP’25)

University of Calabria, Rende, Italy | September 12-19, 2025

https://iclp25.demacs.unical.it/


SCOPE

Since the first conference In Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
Contributions are sought in all areas of logic programming, including but
not restricted to:

Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under
uncertainty, Knowledge representation, Semantic issues of combining logic
and neural models, Complexity results.

Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based
domain-specific languages, Hybrid logical and imperative/functional
languages, Programming techniques, Answer Set Programming, Inductive Logic
Programming, Coinductive Logic Programming

Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling,
Visualization, Logic-based validation of generated programs.

Implementation Methodologies:

Compilation, Parallel/distributed execution, Constraint implementation,
Tabling, Logic-based prompt engineering, User interfaces.

IMPORTANT DATES (TENTATIVE):

- Paper registration (regular papers): April 13, 2025

- Paper submission (regular papers): April 18, 2025

- Notification to authors (regular papers): May 25, 2025

- Paper submission (short papers): June 15, 2025

- Revision submission (regular papers): June 15, 2025

- Final notification to authors: July 6, 2025

- Main conference: September 15-19, 2025

Paper submission will be through EasyChair, following the link
https://easychair.org/conferences/?conf=iclp25.

Accepted regular papers will appear in the journal Theory and Practice of
Logic Programming (TPLP). Accepted short papers will be published by
Electronic Proceedings in Theoretical Computer Science (EPTCS). The
respective paper formats are described at:

-
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors

- http://style.eptcs.org/


AFFILIATED EVENTS:

- Workshops: September 12-14, 2025

- Doctoral Consortium: September 12-14, 2025

- Autumn School in Computational Logic: September 12-14, 2025

- Thematic Tracks (to be announced)

- International Symposium on Principles and Practice of Declarative
Programming (PPDP 2025)

- Logic-based Program Synthesis and Transformation (LOPSTR 2025)


VENUE:

ICLP’25 will be held on the campus of the University of Calabria in Rende,
Italy, in September 2025. The University of Calabria is one of Italy's
leading academic institutions, renowned for its innovative research and
vibrant campus life. Located in the scenic city of Rende, it offers a
modern learning environment surrounded by natural beauty and cultural
richness. Calabria is a region rich in culture, offering a blend of
historical heritage and stunning natural beauty. From its breathtaking
coastal spots to its easily accessible mountains, the region provides an
unforgettable cultural and culinary experience, savoring authentic dishes
made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes
and exquisite desserts.

ORGANIZATION:

General Chair: Francesco Ricca

Program Co-chairs: Daniela Inclezan and Martin Gebser

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20250121/707f3e7e/attachment.html>