ICLP 2024: Preliminary Call for Papers

by Gopal Gupta, Feb. 5, 2024

The 40th International Conference on Logic Programming (ICLP 2024) will be held from October 11-17 on the campus of the University of Texas at Dallas.

                             Preliminary Call for Papers
         40th International Conference on Logic Programming (ICLP'24)
                         Dallas, Texas | 11-17 October, 2024


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


  ------------------------------------- ----------------------
  Paper Registration:                             April 29, 2024
  Submission deadline (full papers):     May 6, 2024
  Notification to authors                        June 19, 2024
  Revision deadline (when needed)       July 8, 2024
  Submission deadline (short papers):   July 8, 2024
  Final notification                                 July 22, 2024
  Final copy due                                     August 5, 2024
  Main conference                                  October 14-17, 2024
  ------------------------------------- ----------------------

Paper submission will be through EasyChair.


       Workshops: October 12-13, 2024
       Doctoral Consortium: October 12-13, 2024
       Autumn School in Computational Logic: October 11-12, 2024
       Logic Programming in Industry: October 14, 2024


ICLP'24 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.


Honorary General Chair: Doug DeGroot
Program Co-chairs: Pedro Cabalar and Theresa Swift
General Chair: Gopal Gupta