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?

(

Invited Speakers

Prof. Volker Diekert (University of Stuttgart, Germany)

Petri Nets and Mazurkiewicz Traces Partnership when Honeymoon is Forgotten

(

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

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

(