ICLP 2024: Preliminary Call for Papers
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
https://iclp24.utdallas.edu/
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:
------------------------------------- ----------------------
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.
SPECIAL SESSIONS:
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
VENUE:
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.
ORGANIZATION:
Honorary General Chair: Doug DeGroot
Program Co-chairs: Pedro Cabalar and Theresa Swift
General Chair: Gopal Gupta