There's a new blog post! Bernhard Steffen talks about his ETAPS lifetime award, a lifetime of algorithms and the advice he would give to students starting their PhDs today

Share your experience of industrial application of formal or semi-formal methods during the ETAPS 2025 Industry Day! Deadline for talk proposals: February 6, 2025 The event will take place on May 7, 2025.