[Event at CIG] Call for Participation: ICLP'24

[Gupta, Gopal]

                                                     Call for Participation
               40th International Conference on Logic Programming (ICLP'24)
                                             Dallas, Texas  |  11-17 October 2024
                                                    https://iclp24.utdallas.edu/<https://www.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<https://lpnmr2024.demacs.unical.it/>).

INVITED TALKS:
      Moshe Vardi: Logic Programming and Logical Algorithmics
      Katsumi Inoue: Linear Algebraic Approaches to Logic Programming
               Mats Carlsson: The Anatomy of the SICStus Finite-Domain Constraint Solver
      Markus Hecher: 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
       Alain Colmerauer Prize award session: October 16, 2024
       Logic Programming in Industry: October 17, 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.