Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
The 42nd International Conference on Logic Programming (ICLP) showcased cutting-edge research in logic programming, emphasizing theoretical foundations, language design, and program optimization. Held in Lisbon as part of FLoC 2026, the conference proceedings compile significant contributions from both the Main track and the Recently Published Research track. Key findings from the papers highlight advancements in programming methodologies and practical applications that push the boundaries of logic programming research.
This year's ICLP reveals groundbreaking insights into optimizing logic programming that could redefine programming methodologies.
Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical Communications of the 42nd ICLP, held 20-23 July 2026 as part of FLoC 2026 in Lisbon, Portugal. The papers and extended abstracts in this volume address the following areas and topics: theoretical foundations, language design and programming methodologies, program analysis and optimization, applications and implementation methodologies. This volume features contributions to two submission tracks of ICLP 2026: the Main track and the Recently Published Research track.