======================================================================
*** Call for Participation ***
The 8th International Conference on Application of Concurrency to System
Design (ACSD 2008)
======================================================================
The 8th International Conference on Application of Concurrency to System
Design (ACSD 2008) will be held in Xi'an, China, from 23-27 June 2008.
It will be co-located with the 29th International Conference on
Application and Theory of Petri Nets and Other Models of Concurrency.
For details of the programs of each conference, visit the joint
conference web pages at:
http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/main.jsp
Highlights of the conferences include:
**6 Keynote addresses on hot topics by leading researchers
----------------------------------------------------------
1. Grzegorz Rozenberg (LIACS, Leiden University, The Netherlands)
" Theoretical Models for Natural Computing"
2. Huimin Lin (Chinese Academy of Sciences, Beijing, China)
"Stratifying Winning Positions in Parity Games; mu-calculus and Model
Checking"
3. Gustavo Alonso (ETH Zurich, Switzerland)
"Challenges and Opportunities for Formal Specifications in Service
Oriented Architectures"
4. Mike Kishinevsky (Intel, Hillsboro, Oregon, USA)
"Time Elastic Digital Systems and Petri Nets"
5. Carl Adam Petri (St. Augustin, Germany)
"On the Physical Basis of Information Flow - Results obtained in
cooperation with Konrad Zuse"
(presented by Ruediger Valk, University of Hamburg)
6. Jifeng He (East China Normal University, China)
"Parallel Computation"
------------------------------------------------------------
** 4 workshops and 2 tutorials as satellite events.
** 2 Sessions on Tools that support models of concurrency
** A Tool Exhibition allowing interaction of participants with the tool
designers
A vibrant Social Program has been developed and includes
- An excursion to the Terra-cotta Warriors and Horses Museum and
Huaqing Hot Springs on Saturday 28 June 2008.
- Visit to the historic City Walls
- Conference Dinner
Registration is now open for both conferences at:
http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/Registration.jsp?content=r
egistration
Note: you get two conferences, essentially for the price of one!
The deadlines are:
- 30 April: visa letter of invitation
- 20 May: early registration:
- 20 May: hotel reservation:
An official invitation letter can be requested as described at:
http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/VisaInf.jsp
The request must be submitted no later than April 30th!
The deadline of your local Chinese embassy can be different.
However, it is also possible to just apply for a tourist visa through
your travel agent, which does not require an official letter of
invitation.
For any organisational questions please contact:
Zhenhua Duan (Organising Committee Chair) [EMAIL PROTECTED]
Looking forward to seeing you in Xi'an!
Jonathan Billington and Maciej Koutny
Program Committee Chairs
ACSD 2008
----
[[ 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] ]]
