40th International Conference on Logic Programming: Call for Participation

                                                     Call for Participation

               40th International Conference on Logic Programming (ICLP'24)

                                             Dallas, Texas  |  11-17 October 2024

                                                    https://iclp24.utdallas.edu/

Since the first conference in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. With AI gaining prominence in academia, industry, and society, logic programming will play an even greater role as the formalism for knowledge representation and reasoning, knowledge management, automating human thinking, explainable AI, solving combinatorial problems, and many other application areas. We invite you to attend the conference to learn about the most recent advances. The program will consist of invited talks, tutorials, and contributed papers. ICLP'24 is co-located with LPNMR'24, the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24).

INVITED TALKS: 

      Moshe Vardi: Logic Programming and Logical Algorithmics

      Mats Carlsson: The Anatomy of the SICStus Finite-Domain Constraint Solver

      Katsumi Inoue: Linear Algebraic Approaches to Logic Programming

      Markus Hecht: How Structure Shapes Logic Programming and Counting-Based Reasoning

TUTORIALS:

             Annie Liu: Logic rules and commonsense in uncertain times: A simple  

                         unified semantics for reasoning with assurance and agreement

      Neng-Fa Zhou: Encoding High-Level Constraints into SAT and MIP

SPECIAL SESSIONS:

       Workshops: October 12-13, 2024

       Doctoral Consortium: October 13, 2024

       Autumn School in Computational Logic: October 12-13, 2024

       Prolog Programming Competition: October 15, 2024

       Logic Programming in Industry: October 15, 2024

       Alain Colmerauer Prize award session: October 16, 2024

REGISTRATION: 

   Early registration deadline is September 19th. 

       Discounted hotel rates are also available till September 19th.

       Discounted registration is available for those attending both ICLP and LPNMR.

   Visit https://www.iclp24.utdallas.edu/registration/ to register.

ORGANIZATION:

        Honorary General Chair: Doug DeGroot

        Program Co-chairs: Pedro Cabalar and Theresa Swift

        General Chair: Gopal Gupta

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.