Proceedings 42nd International Conference on Logic Programming
Logic in Computer Science
2026-07-20 v1 Programming Languages
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.
Cite
@article{arxiv.2607.17707,
title = {Proceedings 42nd International Conference on Logic Programming},
author = {Wolfgang Faber and Laura Giordano and Ricardo Rocha and Vítor Santos Costa},
journal= {arXiv preprint arXiv:2607.17707},
year = {2026}
}