posted by user: wimmer || 5435 views || tracked by 11 users: [display]

PASM 2012 : Sixth International Workshop on Practical Applications of Stochastic Modelling

FacebookTwitterLinkedInGoogle

Link: http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM12.htm
 
When Sep 17, 2012 - Sep 17, 2012
Where London, UK
Submission Deadline Jul 1, 2012
Notification Due Aug 14, 2012
Final Version Due Sep 3, 2012
Categories    verification   formal methods
 

Call For Papers

Sixth International Workshop on Practical Applications of Stochastic Modelling

PASM'12

17th September 2012

Imperial College London, UK
(Official QEST 2012 workshop)
Contents

Scope
Important dates
Location
Publication
Instructions to authors
Programme Committee
Links

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.:
stochastic process algebras
stochastic Petri nets
layered queueing networks
stochastic automata networks
queueing networks
fluid stochastic Petri nets
stochastic ambient calculus

Specific interdisciplinary topics that we would be particularly interested to hear from include application of systematic probabilistic or stochastic analysis techniques to, for instance:
biological/epidemiological models
models of computer virus/worm infection
spatial modelling of chemical/nuclear reactions
decision making, planning and scheduling
geophysical models of large dynamical systems: e.g. weather/ocean systems, lava flows

Stochastic and probabilistic models from computing areas such as:
power consumption/conservation
computer security
web-services and Grid
distributed and fault-tolerant systems
adhoc wireless communication systems
embedded systems
safety-critical systems
SLAs for Cloud computing archiectures
Performance analysis of GPU architectures

Methods for the solution of practical large-scale problems, for instance:
Parallel and distributed solution of Markov chains
Performance analysis using GPU-accelerated architectures
Fluid approximations
Mean field analysis
Stochastic simulation
Product form solution
MTBDD based methods
State space reduction

Important dates

Paper submission deadline: 1st July 2012
Notification to authors: 14th August 2012
Camera-ready deadline: 3rd September 2012 (HARD DEADLINE)
Workshop: 17th September 2012
CRC deadline for ENTCS proceedings: 21st October21st October21st October 2012

Publication

The proceedings of PASM'12 will appear as an issue of Elsevier's ENTCS (Electronic Notes in Theoretical Computer Science). This will appear after the workshop. Delegates at the workshop will be given an informal proceedings for the event. Note that there will be a publication charge of $50 per paper charged by Elsevier for inclusion in ENTCS. This fee is in addition to the registration charge for the workshop.
Instructions to authors

Electronic paper submission will be available through Easy Chair.

Papers should be original work of between 15 and 20 pages long, including figures and bibliography, and in single-column format. Submission is required in uncompressed Postscript or PDF format. Word files cannot be accepted.
Programme Committee (tbc)

TBC
Workshop organisers

Jeremy Bradley and William Knottenbelt
Imperial College London

Nigel Thomas,
Newcastle University



Links

PASM 2004, London, UK.
PASM 2005, Newcastle, UK.
PASM 2008, Palma de Mallorca, Spain.
PASM 2009, London, UK.
PASM 2011, Karlsruhe, Germany.

Related Resources

SCML 2020   2020 International Conference on Soft Computing and Machine Learning
CPP 2021   Certified Programs and Proofs
OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
RP 2020   14th International Conference on Reachability Problems (RP'20)
Scopus-BDAI 2020   2020 International Conference on Industrial Applications of Big Data and Artificial Intelligence (BDAI 2020)
SBMF 2020   23rd Brazilian Symposium on Formal Methods
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus
ICPRAM 2021   10th International Conference on Pattern Recognition Applications and Methods