*** Please note that the early registration deadline is 25th May 2011 ***
*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
CALL FOR PARTICIPATION
**********************
11th International Conference on Application of Concurrency to
System Design (ACSD'11) and
32nd International Conference On Application and Theory of
Petri Nets and Other Models of Concurrency (Petri Nets'11)
Co-located in Newcastle upon Tyne, United Kingdom, 20-24 June 2011
***********************************************************************
* In view of the tragic events that have recently occurred in Japan,
* it has been decided to relocate the conferences.
* The new location is Newcastle upon Tyne, UK, and the conferences will
* be held on the same dates as previously planned for Kanazawa, Japan.
***********************************************************************
Conference website:
http://conferences.ncl.ac.uk/pn-acsd-11/
REGISTRATION
http://conferences.ncl.ac.uk/pn-acsd-11/registration.html
Early registration deadline: 25 May 2011
Cancellation deadline: 1 June 2011
INVITED SPEAKERS
- Brian Randell (Distinguished Carl Adam Petri Lecture)
Newcastle University, United Kingdom
- Alessandro Giua
University of Cagliari, Italy
- Monika Heiner
Brandenburg University of Technology, Germany
- Walter Vogler
University of Augsburg, Germany
- Tomohiro Yoneda
Tokyo Institute of Technology, Japan
TUTORIALS
Petri Net Course: Theory & Applications
Organisers: Joerg Desel and Jetty Kleijn
Verification with LoLA
Speakers: Karsten Wolf and Niels Lohmann
Elementary Net Synthesis
Speakers: Eric Badouel and Philippe Darondeau
WORKSHOPS
Biological Processes and Petri Nets (BioPPN)
Organisers: Monika Heiner and Hiroshi Matsuno
Petri Nets and Software Engineering (PNSE)
Organisers: Michael Duvigneau and Daniel Moldt
Applications of Region Theory (ART)
Organisers: Joerg Desel and Alex Yakovlev
Petri Nets Compositions (CompoNet)
Organisers: Hanna Klaudel and Franck Pommereau
Scalable and Usable Model checking for Petri nets and Other models of
concurrency (SUMo)
Organisers: Didier Buchs, Fabrice Kordon and Natalia Sidorova
TOOL EXHIBITION
The Tool Exhibition consists of informal demonstrations for small
groups/individuals
without any scheduled talks.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
