From: victor khomenko <victor.khomenko@newcastle.ac.uk>
     To: petrinet@informatik.uni-hamburg.de
   Date: Thu, 8 Apr 2010 19:58:13 +0100
Subject: (PN) CfPart: Joint ACSD'10 and Petri Nets'10 conference, Braga,
Portugal, June 21-25

*** 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

Conference website:
http://acsd-petrinets2010.di.uminho.pt/?page=Main

Programme:
http://acsd-petrinets2010.di.uminho.pt/?page=Programme

REGISTRATION & ACCOMMODATION

The registration is now open:
http://acsd-petrinets2010.di.uminho.pt/?page=3DRegistration

Early registration deadline:   May 15
Cancelation deadline:          June 1

A hotel room can be reserved:
http://acsd-petrinets2010.di.uminho.pt/?page=3DAccommodation


INVITED SPEAKERS

 - David Harel (Distinguished Carl Adam Petri Lecture)
   The Weizmann Institute of Science, Israel

 - Kim Guldstrand Larsen
   Aalborg University, Denmark

 - Gabriel Juh=E1s
   Slovak University of Technology, Slovak Republic

 - Maciej Koutny,
   Newcastle University, United Kingdom

 - Lars M. Kristensen
   Bergen University College, Norway

TUTORIALS

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

SATELLITE WORKSHOPS

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=F6rg Desel and Alex Yakovlev.

Foundations of Interface Technologies (FIT)
Organizers: Beno=EEt 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.

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:                                ]]
[[                               petrinet@informatik.uni-hamburg.de ]]