CALL FOR PARTICIPATION
6th International Conference on Application of Concurrency to
System Design (ACSD) and
26th International Conference On Application and Theory of
Petri Nets and Other Models of Concurrency (Petri Nets)
COLOCATED IN 2006 IN TURKU, FINLAND, JUNE 26-30, 2006
The registration for the event is now open.
You can register at the web page http://www.cs.abo.fi/acsd-atpn2006/
index.php
INVITED SPEAKERS
- Academy Professor Ralph-Johan Back, Aabo Akademi University, TBA
- Prof. Javier Campos, University of Zaragoza,
"On the integration of UML and Petri nets in software performance
engineering"
- Dr. Ekkart Kindler, Universitaet Paderborn,
"Component tools: Unifying Petri nets with other formal methods"
- Dr. Xianli Xu, Nokia Reserach Center,
"Application of formal methods in mobile terminal and network
software system
development at Nokia"
- Prof. Axel Jantsch, Royal Institute of Technolgy Stockholm,
"Models of computation for Networks on Chip"
- Dr. Nicholas Halbwachs, VERIMAG,
"Simulation and verification of asynchrounous systems by means of
a synchoronous model"
SATELLITE EVENTS
Monday 26th of June
- "Basic Petri Net Tutorial"
- "Advanced Tutorial on Bounded Model-checking":
Dr. Keijo Heljanko and Dr. Tommi Junttila, Helsinki University of
Technology
- "Advanced Tutorial on Nanoscale Circuits and Cellurar Automata":
Dr. Ferdinand Peper, Kansai Advanced Research Center
- "Advanced Tutorial on Quantum Computing":
Dr. Mika Hirvensalo, University of Waterloo
- Petri Net Markup Language Forum:
Dr. Ekkart Kindler, Universit‰t Paderborn
- MOCA: Workshop on Modelling of Objects, Components and Agents:
Dr. Daniel Moldt, University of Hamburg
Tuedsay 27th of June
- "Basic Petri Net Tutorial"
- "Workshop on Teaching Concurrency":
Assoc. Prof. Sören Christensen, University of Aarhus and
Prof. Luis Gomes, Universidade Nova de Lisboa
- "Advanced Tutorial on Petri Net Modelling of Business Processes":
Prof Wil van der Aalst, Eindhoven University of Technology and
Prof. Wolfgang Reisig,, Humboldt Universit‰t Berlin
- "Doctoral Consortium":
Prof. Jörg Desel, Universität Eichstätt-Ingolstadt
TOOL EXHIBITION
The Tool Exhibition consists of informal demonstrations for small
groups/individuals without any scheduled talks and will be combined
with an informal reception.
EARLY REGISTRATION DEADLINE: 15th of May
THE ORGANISERS:
- Johan Lilius (general chair)
- Jerker Björkqvist (tool exhibition chair)
- Xinrong Zhou (workshop chair)
- Tiina Haanila (financial matters)
- Robert Gyllenberg (technical support)
- Lionel Morel (webmaster)
----
[[ 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] ]]
