PNSE’16: International Workshop on Petri Nets and Software
Engineering
Torun, Poland, June 20-21, 2016
a satellite event of Petri Nets 2016 and ACSD 2016
37th INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
and
16th INTERNATIONAL CONFERENCE ON
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
More information:
http://www.informatik.uni-hamburg.de/TGI/events/pnse16/
Scope and Topics
We welcome contributions describing original research in topics related to
Petri nets in the context
of software engineering. Topics of interest include (but are not limited to)
modelling, prototyping,
validation and execution, testing, verification and model checking, code
generation, case studies on
application of Petri nets, methodology, and supporting computer tools.
Important Dates
- Deadline for Abstracts (full/short): March 29th, 2016
- Deadline for full papers: April 4th, 2016
- Deadline for short papers: April 4th, 2016
- Notification of paper acceptance: May 6th, 2016
- Deadline for posters: May 9th, 2016
- Notification of poster acceptance: May 17th, 2016
- Deadline for final revisions: May 20th, 2016
Proceedings and Special Issue of the Springer ToPNoC Journal
Proceedings from the workshop will be published as a volume in the CEUR
workshop proceedings series.
Selected best papers will be invited for to a special issue of the Transaction
on Petri Nets and
Other Models of Concurrency (ToPNoC), a subline of Springer's Lecture Notes in
Computer Science.
Papers selected for ToPNoC will undergo a second round of revision and
reviewing.
Submissions
The program committee invites submissions of full contributions (up to 20
pages) or short
contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be
presented in a special
poster session. Papers must be submitted in electronic form (PDF) using the
Springer LNCS-format
(see http://www.springer.de/comp/lncs/authors.html). Submissions should include
title, authors'
addresses, E-mail addresses, keywords and an abstract. Each submitted paper
will be peer-reviewed by
at least three members of the PC.
Papers are be submitted via: http://www.easychair.org/conferences/?conf=pnse16
Invited Speakers
- Gabriele Taentzer (Philipps-Universitet Marburg):
Model-Driven Development of Platform-Independent Mobile Applications
- Yann Thierry-Mieg (University Paris and Marie Curie, LIP6, France):
Bridging the Gap Between Formal Methods and Software Engineering Using
Model-based Technology
Programme Committee Chairs
- Lawrence Cabac (University of Hamburg, Germany)
- Lars Kristensen (Bergen University College, Norway)
- Heiko Rölke (DIPF, Germany)
Programme Committee Members
- Kamel Barkaoui (Conservatoire National des Arts et Métiers, France)
- Robin Bergenthum (University of Hagen, Germany)
- Didier Buchs (University of Geneva, Switzerland)
- Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
- Gianfranco Ciardo (Iowa State University, USA)
- José-Manuel Colom (University of Zaragoza, Spain)
- Jörg Desel (University of Hagen, Germany)
- Raymond Devillers (Université Libre de Bruxelles, Belgium)
- Susanna Donatelli (University of Turin, Italy)
- Giuliana Franceschinis (University of Piemonte Orientale / University of
Torino, Italy)
- Nicolas Guelfi (University of Luxembourg)
- Stefan Haar (ENS Cachan, France)
- Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology,
Japan)
- Peter Kemper (College of William and Mary, USA)
- Ekkart Kindler (Technical University of Denmark, Denmark)
- Hanna Klaudel (Université d'Evry-Val d'Essonne, France)
- Michael Köhler-Bußmeier (University of Applied Science Hamburg, Gemany)
- Radek Koci (University of Brno, Czech republic)
- Maciej Koutny (Newcastle University, United Kingdom)
- Łukasz Mikulski (Nicolaus Copernicus University, Toruń, Poland)
- Daniel Moldt (University of Hamburg, Germany)
- Berndt Müller (University of Glamorgan, UK)
- Wojciech Penczek (University of Podlasie, Poland)
- Laure Petrucci (University Paris Nord, France)
- Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
- Yann Thierry-Mieg (University P. & M. Curie, LIP 6, France)
- Jan Martijn van der Werf (Utrecht University, Netherlands)
- H.M.W. Eric Verbeek (Eindhoven University, Netherlands)
- Karsten Wolf (University of Rostock, Germany)
signature.asc
Description: OpenPGP digital signature
---- [[ 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] ]]
