Tags give the ability to mark specific points in history as being important
On Thursday, June 25, 2026, from 07:00 to 13:00, maintenance work will be performed on the GitLab server.
During this window, both GitLab and Mattermost will be unavailable or instable. Please plan your work accordingly.
The source used in the VMCAI 2024 publication
COOL as used for the CADE-29 paper