Models and Logics for Quantitative Analysis (MLQA 2011)
Continuous modeling and analysis techniques is currently quite a hot
topic in the area of models and logics for quantitative analysis.
Continuous domains are systematically and naturally used in the area of
quantitative Process Algebras and Logics e.g. in the form of Time, or
Probability, or random variable parameters (e.g. rates of exponential
distributions). More recently, continuous domains have been used as
approximations of typically discrete quantities which arise naturally
when reasoning about (quantitative, e.g. stochastic) process algebras,
like population sizes, i.e. the number of processes in a certain state
at a certain point in time. Examples of such a use of continuous domains
are PEPA ODE semantics, BioPEPA and can be found in the area of
fluid/flow or mean-field analysis. In all these cases, discrete measures
which vary over time are approximated by continuous functions (of time)
which are often characterized as solutions of a set of differential
equations. The aim of the MLQA workshop is to bring together experts in
areas like process algebra, stochastic differential equations,
fluid-flow techniques for process algebras, for queueing networks or
Petri nets, stochastic hybrid systems, both from the theoretical
foundations point of view and from that of the applications. **
*Chairs:* Jane Hillston <http://homepages.inf.ed.ac.uk/jeh/>, Diego
Latella <http://www.isti.cnr.it/People/D.Latella> and Flemming Nielson
<http://www2.imm.dtu.dk/%7Enielson/>
*Date:* September 5, 2011 in Aachen - colocated with CONCUR and QEST.
MLQA (http://wiki.ercim.eu/wg/MLQA) is an ERCIM WG founded in 2009 and
chaired by Prof. Flemming Nielson of DTU.
--
--------
Dott. Diego Latella - Senior Researcher - CNR/ISTI, via Moruzzi 1,
I56124 Pisa (ITALY)
http://www.isti.cnr.it/People/D.Latella - phone:+39 0503152982 - mob:+39
348 8283101 - fax: +39 0503152040
=======================================================================================
The quest for a war-free world has a basic purpose: survival. But if in
the process we learn how to achieve it by love rather than by fear, by
kindness rather than by compulsion; if in the process we learn to
combine the essential with the enjoyable, the expedient with the
benevolent, the practical with the beautiful, this will be an extra
incentive to embark on this great task.
Above all, remember your humanity.
-- Josef Rotblat
----
[[ 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] ]]
