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

[PVS] CfPart: Joint ACSD'12 and Petri Nets'12 conference, Hamburg, 25-29 June 2012



*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***


CALL FOR PARTICIPATION
**********************

  12th International Conference on Application of Concurrency to
       System Design (ACSD'12) and
  33rd International Conference On Application and Theory of
       Petri Nets and Other Models of Concurrency (Petri Nets'12)
       
Co-located in Hamburg, Germany, 25-29 June 2012
 
Conference website:
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/


REGISTRATION 

Please visit:
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/registration.shtml

 
INVITED SPEAKERS

 - Sir C. A. R. (Tony) Hoare
   Microsoft Research, USA
   Talk: A Net-based Model for the Algebra of Concurrent Programming 

 - Alain Finkel
   ENS de Cachan, France
   Talk: The Theory of WSTS: The Case of Complete WSTS 

 - Bart Jacobs
   Radboud University Nijmegen, The Netherlands
   Talk: Topics in Computer Security 

 - Joost-Pieter Katoen
   RWTH Aachen, Germany
   Talk: GSPNs Revisited: Simple Semantics and New Analysis Algorithms 

 - Jens Sparsø
   TU Denmark, Denmark
   Talk: Networks-on-chip for real-time multi-processor systems-on-chip 


TUTORIALS

Petri Net Course: Theory & Applications (starts on 24th June)
Organisers: Joerg Desel and Jetty Kleijn

Tutorial: Fluid & Hybrid Nets
Organisers: Manuel Silva and Cristian Mahulea

Tutorial: Theory and Applications of Petri Net Unfoldings
Organisers: Thomas Chatain, Stefan Haar, Victor Khomenko,
            and G. Michele Pinna

 
WORKSHOPS

 - PNSE 2012
   Petri Nets and Software Engineering
   Organisers: Lawrence Cabac, Michael Duvigneau, and Daniel Moldt 

 - BioPPN 2012
   Biological Processes and Petri Nets
   Organisers: Monika Heiner and Ralf Hofestädt 

 - WooPS 2012
   Petri Net-based Security
   Organisers: Rafael Accorsi, Tadao Murata, and Silvio Ranise 

 - CompoNet 2012
   Petri Net Compositions
   Organisers: Hanna Klaudel and Franck Pommereau 

 - LAM 2012
   Logics, Agents, and Mobility
   Organisers: Berndt Müller (Farwer) and Michael Köhler-Bußmeier 


MODEL CHECKING CONTEST

The Model Checking Contest called for model and tool submissions 
with the objective to compare the efficiency of techniques according 
to characteristics of models.  The results of the contest are 
presented in a session close to the workshops.


TOOL EXHIBITION

The Tool Exhibition consists of informal demonstrations for small
groups/individuals without any scheduled talks.