[ecoop-info] CfPart: Joint ACSD'10 and Petri Nets'10 conference, Braga, Portugal, June 21-25
victor.khomenko at newcastle.ac.uk
Thu Apr 8 20:59:55 CEST 2010
*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
CALL FOR PARTICIPATION
10th International Conference on Application of Concurrency to
System Design (ACSD'10) and
31st International Conference On Application and Theory of
Petri Nets and Other Models of Concurrency (Petri Nets'10)
Collocated in Braga, Portugal, June 21-25, 2010
REGISTRATION & ACCOMMODATION
The registration is now open:
Early registration deadline: May 15
Cancelation deadline: June 1
A hotel room can be reserved:
- David Harel (Distinguished Carl Adam Petri Lecture)
The Weizmann Institute of Science, Israel
- Kim Guldstrand Larsen
Aalborg University, Denmark
- Gabriel Juhás
Slovak University of Technology, Slovak Republic
- Maciej Koutny,
Newcastle University, United Kingdom
- Lars M. Kristensen
Bergen University College, Norway
Decision-diagram techniques for the analysis of Petri nets Gianfranco Ciardo
Analysis and Synthesis of (Web) Service Behavior Karsten Wolf, Kathrin Kaschner, Niels Lohmann, and Christian Stahl
State space exploration of Coloured Petri Nets and the ASAP model checking platform Lars Michael Kristensen, Michael Westergaard
Abstractions for Petri Nets and Other Models of Concurrency (APNOC)
Organizers: Alexander Serebrenik and Natalia Sidorova.
Biological Processes & Petri Nets (BioPPN)
Organizers: Claudine Chaouiya and Monika Heiner.
Applications of Region Theory (ART)
Organizers: Jörg Desel and Alex Yakovlev.
Foundations of Interface Technologies (FIT)
Organizers: Benoît Caillaud and Axel Legay.
Petri Nets and Software Engineering (PNSE)
Organizers: Michael Duvigneau and Daniel Moldt.
Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo)
Organizers: Didier Buchs, Fabrice Kordon, Yann Thierry-Mieg, and Jeremy Sproston.
The Tool Exhibition consists of informal demonstrations for small groups/individuals without any scheduled talks.
More information about the ecoop-info