Workshop

IWIL

’26

International Workshop on the Implementation of Logics

Spetses, GreeceOctober 25, 2026

Theorem Proving
Logic

Dates & Deadlines

PaperAug 18passed
NotificationSep 32w
Camera-readySep 174w

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