Conference · International Workshop on the Implementation of Logics
IWIL 2026
Official page- Type
- Conference
- Organisation
- International Workshop on the Implementation of Logics
- Location
- Spetses, Greece
- Submissions close
- 10 August 2026
- Takes place
- 25 October 2026
- Found
- 26 September 2026
About this listing
International Workshop on the Implementation of Logics. Submissions close 2026-08-10. Held in Spetses, Greece. 16th edition, on implementation techniques for automated reasoning programs, theorem provers, and logic programming systems. Held with LPAR-26. Topics: logic, theorem proving, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).