Thursday 17th March 2011
Karlsruher Institut für Technologie (KIT), Germany
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.
PASM'11 is collocated with ICPE 2011 and will be at Karlsruher Institut für Technologie (KIT), Germany:
Institute for Programme Structures and Data Organisation Am Fasanengarten 5, Building 50.34, Room 301 D-76131 Karlsruhe, Germany
You can find this building on the map here: http://www.uni-karlsruhe.de/info/campusplan/?id=50.34
Detailed information about how to get there can be found here: http://www.informatik.kit.edu/english/1158.php
See the ICPE travel page for more information.
The proceedings of PASM'11 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.
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.