[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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=Registration

Early registration deadline:   May 15
Cancelation deadline:          June 1

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


INVITED SPEAKERS

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

 - Kim Guldstrand Larsen 
   Aalborg University, Denmark  

 - Gabriel Juhs 
   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: Jrg Desel and Alex Yakovlev. 

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