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.