[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/UFO07/UFO-07.htm ------------------------------------------------------------------------------- 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 Symmetry, Event Types and Unfoldings Alex Yakovlev Use of Partial Orders for Analysis and Synthesis of Asynchronous Circuits ------------------------------------------------------------------------------- Important Dates: Deadline for submissions March 27, 2007 (extended) 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. Some of the best papers from the workshop will be invited for publication in a volume of a new journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. ------------------------------------------------------------------------------- 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: eric.fabre@irisa.fr Victor Khomenko School of Computing Science, University of Newcastle upon Tyne, UK E-mail: Victor.Khomenko@ncl.ac.uk ------------------------------------------------------------------------------- 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 ufo07@ncl.ac.uk