Events

20th International Workshop on Termination (WST)
September 3 - 4, 2025, HTWK Leipzig

34th EACSL Annual Conference on Computer Science Logic
23-28 February 2026, Paris, France