Proceedings 42nd International Conference on Logic Programming
2026-07-20 • Logic in Computer Science
Logic in Computer ScienceProgramming Languages
AI summaryⓘ
The authors describe the 42nd International Conference on Logic Programming (ICLP), which took place in July 2026 in Lisbon. This event is an important international meeting where researchers share new work on logic programming. The papers included cover topics like the basics of logic programming, how to design languages and write programs, ways to analyze and improve programs, and practical applications. The volume presents work from two submission categories: the main track and recently published research.
Logic ProgrammingTheoretical FoundationsLanguage DesignProgram AnalysisOptimizationProgramming MethodologiesImplementationTechnical Communications
Authors
Wolfgang Faber, Laura Giordano, Ricardo Rocha, Vítor Santos Costa
Abstract
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.