ICLP25: The 41st International Conference on Logic Programming University of Calabria Rende, Italy, September 12-19, 2025 |
| Conference website | https://iclp25.demacs.unical.it/ |
| Submission link | https://easychair.org/conferences/?conf=iclp25 |
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, Theory reasoning, 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 and Applications:
Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces.
TRACKS AND SPECIAL SESSIONS
In addition to the main track, ICLP’25 will host:
IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP.
Recently Published Research Track: Detailed information will be announced separately.
AFFILIATED EVENTS
Workshops: September 12-14, 2025
Autumn School in Computational Logic: September 12-14, 2025
Doctoral Consortium: September 12-14, 2025
Logic Programming Contest: September 16 or 17, 2025
International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)
International Symposium on 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, during 12-19 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: Martin Gebser and Daniela Inclezan
Publicity Chairs: Manuel Borroto and Francesco Calimeri
Local Chairs: Antonio Ielo and Giuseppe Mazzotta
IMPORTANT DATES & SUBMISSION DETAILS
Please consult the ICLP'25 website for latest information about the submission dates and formats: https://iclp25.demacs.unical.it/