sumo.lip6.fr
SUMo'2011 + Componet 2011International Workshop onScalable and Usable Model Checking forPetri Nets and other models of ConcurrencyThis workshop was intended to be located at Kanazawa, together with PETRI NETS and ACSD 2011. Unfortunately, events changed these plans. On behalf of all SUMo organizers, we would like to express our deepest sympathy and send words of support and hope to people in Japan, including many personal friends and colleagues. This year, the workshops SUMo and Componet have merged together to brought a consistent and stronger program. The purpose of SUMO'2011 is to create a forum in order to discuss new technique...
http://sumo.lip6.fr/