iiinova — where your digital self keeps evolving

Jan Kofroň

@jankofron.bsky.social

44 followers 4 following 0 posts

Associate professor at Charles University, Czech Republic, computer science, program verification, linux

Posts Replies Media

Reposted by Jan Kofroň

ETAPS conferences @etapsconf.bsky.social · 28/01/2025

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

buff.ly

A Lifetime of Algorithms

Interview with Prof. Dr. Bernhard Steffen on the occasion of receiving the ETAPS Lifetime Award.

031

Reposted by Jan Kofroň

ETAPS conferences @etapsconf.bsky.social · 27/01/2025

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.

buff.ly

Industry Day @ ETAPS 2025

May 7, 2025, Hamilton, Canada

011