[Haskell] Petri Nets 2006 CFP

P S Thiagarajan thiagu at comp.nus.edu.sg
Fri Oct 28 02:12:25 EDT 2005


Apologies if you receive multiple copies.  
------------------------------------------------------------------------
       Call for Papers and Announcement
                  Petri Nets 2006

27th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF
PETRI NETS AND OTHER MODELS OF CONCURRENCY

Turku, Finland, June 26-30, 2006

Additional information about the conference will be published via
http://www.cs.abo.fi/atpn2006/

Contact e-mail: atpn2006 at abo.fi
In 2006 the Petri Nets conference is co-located with the ACSD'06.

Important Dates:
Submission of Papers
& Tool Presentations:	November 15, 2005
Notification:	March 1, 2006
Final Version Due:	April 1, 2006
Tutorials & Workshops:	June 26-27, 2006
Conference:	June 28-30, 2006

The deadline for submission of papers and tool presentations is STRICT.
However, if you submit the title page before Nov. 15 it is sufficient to
submit the full paper/tool presentation before Nov. 22. The title page
must contain a short abstract, classification of the paper, and tell whether
it is a theory paper, application paper, or tool presentation.

The 27th annual international Petri Net conference and tutorials will
be organised by ùÕ÷o Akademi University, Department of Computer
Science. Papers presenting original contributions in any area of
application and theory of Petri nets are sought. The language of the
conference is English.  Topics System design and verification using
nets, Analysis and synthesis, structure and behaviour of nets,
Relationships between net theory and other approaches,
Causality/partial order theory of concurrency, Net-based semantical,
logical and algebraic calculi, Symbolic net representation (graphical
or textual), Computer tools for nets, Experience with using nets, case
studies, Educational issues related to nets, Higher-level net models,
Timed and stochastic nets, Standardisation of nets, Applications of
nets to different kinds of systems and application fields, e.g.:
flexible manufacturing systems, real-time systems, embedded systems,
defence systems, biological systems, health and medical systems,
environmental systems, hardware structures, telecommunications,
railway networks, office automation, workflows, supervisory control,
protocols and networks, Internet, e-commerce and trading, programming
languages, performance evaluation, operations research.

The conference takes place under the auspices of EATCS and GI SIG
"Petri Nets and Related System Models".  Paper Submissions Submissions
for papers must:

    * Contain original contributions that have not been published or
      submitted to other conferences/journals in parallel with this
      conference.

    * Clearly state the problem being addressed, the goal of the work,
      the results achieved, and the relation to other work.

    * Be in the Springer LNCS-format:
      http://www.springer.de/comp/lncs/authors.html.

    * Have a length that does not exceed 20 pages.

    * Be in English and in a form that can be immediately included in
      the proceedings without major revision.

    * Be sent electronically (as a PostScript or PDF file) using the
      website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference
      no later than November 15, 2005.

The title page must:

    * Contain a short abstract and a classification of the topics
      covered, preferably using the list of topics above.

    * Clearly indicate whether the paper is submitted as a theory
      paper, an application paper, or both. A typical application
      paper is a paper that describes one or more projects in which
      Petri net models and tools have been used in practice. An
      application paper may also describe a tool, a methodology, or
      other developments that demonstrate the applicability of Petri
      nets to industrial systems.

Submissions received too late and submissions sent by fax will be
immediately rejected. The same will happen with papers which are not
in English or exceed the page limit. Authors will be notified of
acceptance/rejection by March 1, 2006.

The proceedings will be published by Springer-Verlag in Lecture Notes
in Computer Science. The final camera-ready version of accepted papers
must be received by Susanna Donatelli no later than April 1, 2006. The
page limit is 20 pages.

Program Committee Co-Chair
(Theory Papers) 
P. S. Thiagarajan
School of computing, NUS
3 Science Drive 2
Singapore 117543
Phone:	+65-6874 7998
Fax:	+65-6779 4580

Program Committee Co-Chair	
(Application Papers)
Susanna Donatelli
Università degli Studi di Torino
Dipartimento di Informatica
Corso Svizzera 185
I-10149 Torino
Italy
Phone:	+39 011 6706746
Fax:	+39 011 751603
 
Organising Committee Chair 	
Johan Lilius
ùÕ÷o Akademi University
Department of Computer Science
Lemminkú¿ènengatan 14 A
FIN-20540 Turku
FINLAND 	
Phone:	+358 40 5440741
Fax:	+358 2 215 4732

Tools Demonstration Chair
Jerker Bjúä·kqvist
ùÕ÷o Akademi University
Department of Computer Science
Lemminkú¿ènengatan 14 A
FIN-20540 Turku
FINLAND
	
Phone:	+358 2 215 3348
Fax:	+358 2 215 4732

Tutorials and Workshops

The conference takes place Wednesday to Friday. However, the
surrounding days also offer a large variety of Petri net activities.

The Introductory Tutorial is offered to participants who have little
or no prior experience with Petri nets. The talks give an overview of
the area, and they will help new-comers to understand the basic ideas
in many of the conference contributions. The Advanced Tutorials and
Workshops are offered to those who already have some knowledge of
Petri nets. They are divided into several strands covering different
subjects. A detailed description of the tutorials and workshops will
be available via the conference Web pages.

Finally, it will be possible to arrange meetings for different groups,
e.g., participants in international Petri net projects. It will also
be possible to arrange small educational courses, e.g., with respect
to some of the Petri net tools. Submissions for such activities must
contain a 2-5 page description. They must be received by one of the
PC-chairs no later than January 15, 2006.  Tools for Petri Nets As
part of the conference, there will be an exhibition of computer tools
for Petri nets together with a limited number of tool presentations,
i.e., talks about tools. For tool presentations a rotation principle
will be enforced. This means that the same tool cannot be presented
year after year -- unless it has been significantly enhanced.

Submissions for tool presentations must:

    * Focus on the description of a computer tool for Petri Nets (not
      an application of the tool or the theory behind the tool).

    * Be in the Springer LNCS-format:
      http://www.springer.de/comp/lncs/authors.html.

    * Have a length that does not exceed 10 pages.

    * Be in English and in a form that can be immediately included in
      the proceedings without major revision.

    * Be sent electronically (as a PostScript or PDF file) using the
      website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference
      no later than November 15, 2005.

Submissions for tool demonstrations must:

    * Be in English and contain a 3-10 pages description of the tool.

    * Be received by the tool demonstration chair Jerker Bjúä·kqvist no
      later than April 1, 2006.

Participants wishing to demonstrate tools are encouraged to bring
their own machines, as only a limited number of local machines will be
available for this purpose, with limited support for installation.

Program Committee
J. Billington, Australia
D. Buchs, Switzerland
N. Busi, Italy
G. Ciardo, USA
J.M. Colom, Spain
P. Darondeau, France
S. Donatelli, Italy (co-chair, applications)
G. Franceschinis, Italy
B. Haverkort, The Netherlands
X. He, USA
K. van Hee, The Netherlands
M. Heiner, Germany
J. Hillston, UK
K. Hiraishi, Japan
P. Jancar, Czech Republic 	
G. Juhas, Germany
M. Koutny, UK
L.M. Kristensen, Denmark
J. Lilius, Finland
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France
L. Pomello, Italy
L. Recalde, Spain
K. Schmidt, Germany
P.S. Thiagarajan, Singapore (co-chair, theory)
T. Ushio, Japan
R. Valk, Germany
F. Vernadat, France
Steering Committee
W. van der Aalst, The Netherlands
J. Billington, Australia
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Jensen, Denmark (chair)
H.C.M. Kleijn, The Netherlands
M. Koutny, UK 	
S. Kumagai, Japan
T. Murata, USA
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain


More information about the Haskell mailing list