1,148 followers
RT @csaudk: Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certif…
RT @csaudk: Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certif…
Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certifying Emptiness of Timed Büchi Automata," which is co-written with Simon Wimmer and Frédéric Herbreteau! Find the paper here ➡️ ht