IWIL

’26

International Workshop on the Implementation of Logics

WorkshopSpetses, GreeceOctober 25, 2026

Theorem Proving
Logic

Dates & Deadlines

PaperAug 18passed
NotificationSep 3passed
Camera-readySep 178d

Notes

16th edition, in conjunction with LPAR-26

Co-located with

LPARInternational Conference on Logic for Programming, Artificial Intelligence and ReasoningOct 25 – 30, 2026

Last updated Aug 19, 2026