Jan Kofroň
@jankofron.bsky.social
Associate professor at Charles University, Czech Republic, computer science, program verification, linux
Reposted by Jan Kofroň
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
A Lifetime of Algorithms
Interview with Prof. Dr. Bernhard Steffen on the occasion of receiving the ETAPS Lifetime Award.
buff.ly
January 28, 2025 at 12:08 PM
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
Reposted by Jan Kofroň
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.
The event will take place on May 7, 2025.
Industry Day @ ETAPS 2025
May 7, 2025, Hamilton, Canada
buff.ly
January 27, 2025 at 9:48 PM
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.
The event will take place on May 7, 2025.