CALL FOR PAPERS: PASM'09 - Submission 1 July 2009
Fourth International Workshop on Practical Applications of
Stochastic Modelling
Official MASCOTS 2009 Workshop
Thursday 24th September 2009
Imperial College London
IMPORTANT DATES
* Paper submission deadline: 1st July 2009
* Notification to authors: 14th August 2009
* Camera-ready deadline: 1st September 2009 (HARD DEADLINE)
* Workshop: 24th September 2009
* CRC deadline for ENTCS proceedings: 23rd October 2009
SUBMISSIONS VIA URL:
http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM09.html
SCOPE OF WORKSHOP
We encourage papers which apply current well-developed formalisms
(stochastic Petri nets, stochastic process algebras, layered
queueing networks, etc) to real-world case-studies. These studies
might be of traditional web-service, GRID or computer architectures
but also we strongly encourage studies from inter-disciplinary
collaborations, such as biological and physical systems.
The common link is to see how researchers from diverse fields have
overcome the problem of modelling large concurrent and stochastic
communicating systems to obtain the particular style of stochastic
metric that is important to their field.
Successful contributions may have demonstrated some novel theoretic
advance to model their system or will have been diligent in
constructing a detailed and realistic stochastic or probabilistic
model and carried the modelling through to the analysis
phase. Extra credit will be given for models which are backed up by
experiment or simulation.
The aim is to end up with a collection of papers which could be
used as outstanding examples of modelling practice in the field of
stochastic modelling and exhibit all phases of the modelling
lifecycle.
Some suggested topics on which we would encourage submission, are
listed below. This is by no means an exhaustive list and any paper
in the general area of the conference scope would be warmly
welcomed.
* Case-study analysis using stochastic paradigms and novel analytic
variations on those paradigms to enable better practical analysis, e.g.:
o fluid stochastic analysis
o mean field analysis of process models
o stochastic simulation enhancements
o stochastic Petri nets
o layered queueing networks
o stochastic automata networks
o queueing networks
o fluid stochastic Petri nets
o stochastic process algebras
* Specific interdisciplinary topics that we would be particularly
interested to hear from include application of systematic
probabilistic or stochastic analysis techniques to, for instance:
o biological/epidemiological models
o Cloud/virtualisation performance and scalability
o models of computer virus/worm infection
o spatial modelling of biological/chemical/nuclear reactions
o decision making, planning and scheduling
o geophysical models of large dynamical systems: e.g.
weather/ocean systems, lava flows
* Stochastic and probabilistic models from computing areas such as:
o web-services
o distributed and fault-tolerant systems
o adhoc wireless communication systems
o embedded systems
o safety-critical systems
o computer architecture
PROCEEDINGS PUBLICATION
The proceedings of PASM'09 will appear as an issue of
Elsevier's ENTCS (Electronic Notes in Theoretical Computer Science).
PROGRAMME COMMITTEE
* Jeremy Bradley (UK)
* Jeremy Bryans (UK)
* David Daly (US)
* Paulo Fernandes (Brazil)
* Katya Gilly (Spain)
* Stephen Gilmore (UK)
* Marco Gribaudo (Italy)
* Félix Hernández-Campos (US)
* Leila Kloul (France)
* William Knottenbelt (UK)
* Dave Parker (UK)
* Nigel Thomas (UK)
* Katinka Wolter (Germany)
* Soraya Zertal (France)
* Avelino Zorzo (Brazil)
(to be confirmed)----
[[ 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] ]]
