[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] CfP Quantitative Models for Performance andDependability (QPMD)



**************************************************************************
CALL FOR PAPERS

Quantitative Models for Performance and Dependability (QMPD 2012)
(Post-proceedings published by Elsevier in the ENTCS series)

July 8-11 2012, Vilnius, Lithuania

QMPD 2012 is part of the 25th European Conference on Operational Research
(EURO 2012)
http://www.euro-2012.lt

(QMPD 2012 is the second in a series of workshops. QMPD 2010 was
part of the INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH 2010 Munich)

**************************************************************************

SCOPE OF WORKSHOP

In many ways, our society relies on the correct and timely functioning of
large-scale distributed information and communication systems. We therefore
solicit original contributions which address the model-based quantitative
analysis of such concurrent systems, with the focus on performance,
dependability, energy-efficiency, cost-optimal operation, vulnerability
and safety. Systems of interest include parallel or distributed computing
systems, web-based systems, biological systems, production systems,
logistics systems, wired or wireless communication systems, soft-real-time
systems, safety-critical systems. The considered modelling formalisms are,
among others, Markov chains, Markov Decision processes, Stochastic Petri
Nets, Stochastic Process Algebra, (layered) queueing networks, fluid and
hybrid stochastic models.

Both theoretical papers and practical case studies are called for. Reports
on new modelling approaches, solution techniques, optimization methods,
verification algorithms, data structures and tools are sought.

**************************************************************************

SUBMISSION DETAILS:

There will be an on-site book of abstracts. Post-conference proceedings
of selected full papers (12 pages) will be published by Elsevier in
the "Electronic Notes in Theoretical Computer Science (ENTCS)".
All accepted abstracts shall be presented at the conference.
As usual with ENTCS, full papers must be prepared using the ENTCS LaTeX
package, and a 50$/paper publication fee applies.

To submit an abstract, follow www.euro-2012.lt --> Abstract Submission
There, after signing into the system, choose the option
"Abstract in an invited session" and enter submission code 3eaa9977.
In case of problems please contact markus.siegle@unibw.de.

**************************************************************************

IMPORTANT DATES

Abstract submission (max 600 characters)             *February 29, 2012*

Notification of acceptance                              *March 31, 2012*

Deadline for author registration                           *May 1, 2012*

Extended Abstract submission (12 pages ENTCS)             *May 15, 2012*

Final full papers                                   *September 15, 2012*

**************************************************************************

WORKSHOP PROGRAM COMMITTEE:

Hans Daduna (Germany)
Peter Kemper (USA)
William Knottenbelt (UK)
Markus Siegle (Germany, chair)
Mirco Tribastone (Germany)
Katinka Wolter (UK/Germany)

**************************************************************************
_______________________________________________
qest-announce mailing list
qest-announce@iti.illinois.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce