Keynote Speakers

Carl Adam Petri Speaker

Prof. Paulo Esteves-Verissimo (King Abdullah University of Science and Technology, Saudi Arabia)

Assumptions in computer science: mere mathematical hypotheses, or representations of the physical world?

(Read more …)

Invited Speakers

Prof. Volker Diekert (University of Stuttgart, Germany)

Petri Nets and Mazurkiewicz Traces Partnership when Honeymoon is Forgotten

(Read more …)

Prof. Marieke Huisman (University of Twente, the Netherlands)

VerCors and Alpinist: correctness of GPU applications throughout the development cycle

(Read more …)