[Apologies for multiple copies due to cross postings]
[Please forward to interested colleagues and students]
------------------------------------------------------------------------
-------
CALL FOR PAPERS
UFO'07: Workshop on UnFOlding and partial order techniques
(a satellite event of Petri Nets 2007)
Siedlce, Poland, June 25-26, 2007
http://homepages.cs.ncl.ac.uk/victor.khomenko/home.formal/UFO07/UFO-07.h
tm
------------------------------------------------------------------------
-------
Tutorial
Javier Esparza Unfolding-Based Model Checking
Invited talks
Claude Jard Symbolic Unfoldings of Timed Models
Eric Fabre Modular Processing
Victor Khomenko Merged Processes of Petri Nets
Maciej Koutny Branching Processes of High-Level Petri Nets and
Model Checking of Mobile Systems
Walter Vogler Canonical Prefixes of Petri Net Unfoldings
Glynn Winskel Event Types
Alex Yakovlev Use of Partial Orders for Analysis and Synthesis
of Asynchronous Circuits
------------------------------------------------------------------------
-------
Important Dates:
Deadline for submissions March 20, 2007
Notification of acceptance/rejection May 1, 2007
Deadline for final papers June 1, 2007
Deadline for registration May 29, 2007
Workshop June 25-26, 2007
------------------------------------------------------------------------
-------
Scope
The scope of the workshop is the theory and applications of
Petri net unfoldings and related partial-order formalisms.
The unfolding technique was developed some time ago and is now
well established to analyse concurrent systems. Some recent
developments make it a really alive research field, and open the
way to a broad range of new applications. Let us mention for
example:
* The development of fast unfolding-based model checking
and synthesis techniques based on SAT, ILP and other
solvers.
* Unfolding techniques for high-level Petri nets, time
Petri nets and Petri nets with read and/or inhibitor
arcs.
* Symbolic unfoldings: a special structure to unfold
high-level Petri nets, where all possible values of a
token in a place are compressed into a single
parameterised representation.
* Probabilistic event structures: the idea here is to
assign probabilities to configurations, in order to have
an equivalence between concurrency and stochastic
independence.
* Merged processes or trellis processes: a more compact
structure than unfoldings to represent all possible
configurations of a concurrent system.
* Modular processing based on unfoldings: the idea is to
use the fact that the unfolding of a product of
components is the product (in a different sense) of
unfoldings of these components. Therefore some
processing can be performed by parts. This is used in
distributed diagnosis applications for example.
* The emergence of unfolding techniques in the discrete
event systems community, for diagnosis and control of
large distributed systems.
The objective of this workshop is twofold:
* To bring together researchers working on different
aspects of the unfolding theory, and
* To popularise unfoldings in the research and industry
communities.
To achieve these objectives, an important part of this two-day
workshop is devoted to invited and tutorial talks. The remaining
time slots are reserved to original contributions on the
subject, focusing on research aspects, applications or tool
developments.
------------------------------------------------------------------------
-------
Submissions
The program committee invites submissions of papers (up to 15
pages). The papers must be in English and contain original
contributions that have not been published or submitted to other
conferences/journals in parallel with this workshop.
Papers are to be submitted through the easychair portal:
http://www.easychair.org/UFO07/
Submission Guidelines
Please use the LaTeX document class llncs.cls for your
contributions. An up-to-date version of llncs.cls together with
the documentation can be found at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
The submissions will be evaluated by the programme committee.
Accepted papers will be included in the workshop proceedings
which will be available at the workshop. After the conference,
the authors of a number of workshop papers are invited to make a
revised version to be included in joint post-proceedings to be
published by Springer-Verlag in LNCS. (The revised papers will
go through an additional round of reviewing; the page limit will
be 15 pages.)
------------------------------------------------------------------------
-------
Program Committee
Jean-Michel Couvreur
Javier Esparza
Eric Fabre (co-chair)
Keijo Heljanko
Claude Jard
Victor Khomenko (co-chair)
Maciej Koutny
Christian Stehno
Walter Vogler
Alex Yakovlev
Organisers
Eric Fabre
INRIA/IRISA, Rennes, France
E-mail: [EMAIL PROTECTED]
Victor Khomenko
School of Computing Science, University of Newcastle upon Tyne, UK
E-mail: [EMAIL PROTECTED]
------------------------------------------------------------------------
-------
Registration & Accommodation
Please register for the UFO workshop at the registration site of
the Petri Nets 2007 conference at
http://atpn2007.ap.siedlce.pl
Note that if you only want to attend the UFO workshop then you
have to register only for it, i.e. you do not have to pay for
the full 5 day programme.
Information about how to get to Siedlce and to the conference
site and about hotels can be found at
http://atpn2007.ap.siedlce.pl
------------------------------------------------------------------------
-------
For further information on UFO'07 or in case of any problems
please contact
[EMAIL PROTECTED]
----
[[ 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] ]]
