Call for Papers
DOCTORAL CONSORTIUM
Satellite workshop of the conferences
ACSD 2006 and Petri Nets 2006
Turku, Finland, June 27, 2006
For the first time, the conferences on Application of Concurrency to
System Design (ACSD) and on Application and Theory of Petri Nets and
Other Models of Concurrency (Petri Nets), which colocate this year,
feature a Doctoral Consortium. Graduate students are invited to submit
short papers describing their work in progress. The authors of accepted
papers will present their work at the Doctoral Consortium to other
students and to well known experts.
The topics of interest of the Doctoral Consortium are the topics
relevant for the two conferences, i.e.,
* System design and verification using Petri nets,
* Analysis and synthesis, structure and behavior of Petri nets,
* Relationships between Petri net theory and other approaches,
* Causality/partial order theory of concurrency,
* Net-based semantical, logical and algebraic calculi,
* Computer tools for Petri nets,
* Experience with using Petri nets, case studies,
* Higher level Petri net models,
* Timed and stochastic Petri nets,
* Applications of Petri nets to different kinds of systems and
application fields
* Methods for design of synchronous or asynchronous systems
based on
models of concurrency (data-flow, communicating automata, Petri
nets, process algebras, state charts, MSCs etc.).
* Correct-by-construction design methods and integration of
verification techniques with the design process.
* Synchronous / asynchronous design and communication interfaces:
Globally Asynchronous Locally Synchronous systems.
* Hardware / software co-design from common specifications.
* Concurrency issues in Systems on Chips (in particular, use of
formal methods for communication protocol design and
verification).
SUBMISSION GUIDELINES
Graduate students that already have made significant progress in their
doctoral thesis are invited to send an extended abstract reporting on
the goals and on the current status of the thesis to the Doctoral
Consortium Committee chair ([EMAIL PROTECTED]). The length of
the abstract should be between four and eight pages. Submissions should
follow the Springer's Lecture Notes in Computer Science format, see
http://www.springeronline.com/lncs . Each paper should be sent as a PDF
file.
Submissions will be evaluated by the Doctoral Consortium Committee
according to their originality, significance, soundness and relevance
with respect to the above list of topics.
FORMAT
Authors of accepted papers will get hints to improve the paper freom the
Doctoral Consortium Committee. Moreover, they will be asked to send
their presentation material in advance so that they can get hints for
their presentation. At the Doctoral Consortium, after presentation of
the work there will be time for discussion with other students and with
experts. In particular, for each student there will be an expert in the
field of the student's work present, who assists the student in
preparing the presentation and during the discussion. This expert will
also provide feedback after the presentation and the discussion and
possibly influences the direction of further research. The accepted
papers will be collected in a Proceedings volume which will be available
at the Doctoral Consortium.
DATES
Submission deadline: Friday, May 5
Notification : Friday, May 19
Presentation material: June 9
Final version of the paper: Friday, June 16
Doctoral Consortium: Tuesday, June 27
REGISTRATION
The Doctoral Consortium can be attended by everybody. Students of
accepted papers have to register to this event via the conferences' page
http://www.cs.abo.fi/acsd-atpn2006/index.php . It is expected that
students of accepted papers also take part in the conferences itself
which take place from June 28 until June 30.
DOCTORAL CONSORTIUM COMMITTEE
Wil van der Aalst (NL)
Jonathan Billington (AUS)
Jˆrg Desel (D), chair
Ryszard Janicki (CDN)
Kurt Jensen (DK)
Luciano Lavagno (I)
Johan Lilius (FI)
Laure Petrucci (F)
Wolfgang Reisig (D)
Manuel Silva (E)
P.S. Thiagarajan (SGP)
Yoshi Watanabe (USA)
Alex Yakovlev (GB)
----
[[ 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] ]]
