Rigorous Knowledge and Efficient Queries for Trustworthy AI
July 25, 2026
Part of the Federated Logic Conference (FLoC), July 13-29, 2026
Lisbon, Portugal
The focus of the 2026 Logic and Practice of Programming (LPOP) workshop is again on trustworthy AI. Rigorous knowledge and efficient queries are critical for trustworthy AI, and trustworthy AI is critical to complement large language models (LLMs) that are increasingly used in people's everyday lives.
Logic-based methods have long been considered key to providing trustworthy AI. After all, the rigor of logical reasoning can provide correctness guarantees that go far beyond what other methods have to offer. In practice, however, this is not always straightforward:
- Logical conclusions are only as reliable as the formal statements they have been drawn from. Whether these formal statements are hand-written by knowledge engineers, generated from natural language descriptions, or synthesized from data, errors must be mitigated. In particular, LLMs scale up the creation of formal statements but are not trustworthy. How can we bound, reduce, eliminate, or prevent errors, and provide assurance of correctness?
- With increasingly larger and more complex knowledge and larger data, efficiency of query answering becomes more critical. This has received extensive studies in many areas, including for logic rule engines, database query optimizers, constraint solvers, SAT solvers, and mathematical programming solvers. How can we perform inference and queries more efficiently, ideally with performance guarantees, and possibly helped by GPUs and TPUs?
The goal of the workshop is to bring together the best people and best languages, methods, and ideas, to discuss how to address the key challenges in supporting rigorous knowledge and efficient queries for trustworthy AI.
Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and to indicate whether they wish to present a talk at the workshop. Because we aim to bring together people from a diverse range of logic, language, and programming communities, it is essential that all talks be accessible to non-specialists.
The program committee will invite attendees based on their position paper submissions and will attempt to accommodate presentation requests, in ways that fit with the broader organizational goals outlined above.
Please submit your position paper via the following submission URL:
https://submissions.floc26.org/lpop/
Important Dates
Paper submission May 8, 2026
Notification May 22, 2026
Camera-ready June 5, 2026
Invited Speakers
Carla Gomes Cornell University
Fritz Henglein University of Copenhagen
Anil Nerode Cornell UniversityÂ
Moshe Vardi Rice University
David Warren Stony Brook University, US
Annie Liu Stony Brook University, US
Joost Vennekens Vrije Universiteit Brussel, Belgium
Simon Vandevelde KU Leuven, Belgium