We are giving an Advanced Tutorial: Modeling, Synthesis and Verification of Hardware on Tuesday 23rd June at the Petri nets 2015 Conference in Brussels.

The agenda of the tutorial and directions to the venue can be found here:

http://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html#Tuto2

Everyone is welcome!