*[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-program... - 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