Rigorous Knowledge and Efficient Queries for Trustworthy AI
July 2026
Part of the Federated Logic Conference (FLoC) 2026
Lisbon, Portugal
The focus of the 2026 Logic and Practice of Programming workshop is again for trustworthy AI. Rigorous knowledge and efficient queries are critical for trustworthy AI, and trustworthy AI is critical to complement LLMs that are increasingly used in people's everyday lives.