https://wiki.ercim.eu/wg/MLQA/api.php?action=feedcontributions&feedformat=atom&user=Peter 2026-04-04T05:28:27Z User contributions MediaWiki 1.43.6 https://wiki.ercim.eu/wg/MLQA/index.php?title=Main_Page&diff=465 2014-02-17T11:47:15Z

<p>Peter: /* ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) */</p> <hr /> <div><br /> The MLQA Working Group was disbanded in 2013. These pages are maintained for information and archives <br /> <br /> == ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) ==<br /> <br /> [[Image:Image002.png|frame]] Models and Logics for Quantitative Analysis are seen as comprising process models analysed using logics for quantitative properties. More specifically, we will<br /> <br /> # consider process models formally described by transition systems, automata or process calculi,<br /> # consider logics for expressing stochastic and continuous properties as well as discrete ones,<br /> # focus on algorithms, theory and tools, and<br /> # study applications with particular emphasis on embedded systems and service oriented systems but will aim at treating also IT guided workflow systems and biological systems.<br /> <br /> The MLQA home page: http://wiki.ercim.eu/wg/MLQA<br /> <br /> The goal of this working group is to create a venue for knowledge sharing in this exciting area, for creating a network also for young researchers, for sharing tools developed within the field, for discussing research directions, and eventually to formulate a European project or network on formal quantitative analysis.<br /> <br /> The working group will be open also to researchers outside of ERCIM (and outside of Europe).<br /> <br /> == Upcoming events ==<br /> <br /> &lt;span style=&quot;color: red;&quot;&gt;The fifth annual meeting: [[MLQA 2013]], Rome, Italy.&lt;/span&gt;<br /> <br /> == Past events ==<br /> <br /> The Kick-Off meeting: [[MLQA 2009|MLQA 2009]], York, UK.<br /> <br /> The second annual meeting: [[MLQA 2010|MLQA 2010]], Edinburgh, UK.<br /> <br /> The third annual meeting: [[MLQA 2011|MLQA 2011]], Aachen, Germany.<br /> <br /> The fourth annual meeting: [[MLQA 2012]], Edinburgh, UK.</div>

Peter https://wiki.ercim.eu/wg/MLQA/index.php?title=Main_Page&diff=6 2009-09-24T10:17:19Z

<p>Peter: Removing all content from page</p> <hr /> <div></div>

Peter https://wiki.ercim.eu/wg/MLQA/index.php?title=MediaWiki:Sidebar&diff=5 2009-09-24T10:16:41Z

<p>Peter: </p> <hr /> <div>* navigation<br /> ** mainpage|Introduction<br /> ** Research Topics|Research Topics<br /> ** List of Group Members|Members<br /> ** Group Activities|Group Activities<br /> ** Contact|Contact<br /> <br /> * Wiki<br /> ** recentchanges-url|recentchanges<br /> ** helppage|help</div>

Peter https://wiki.ercim.eu/wg/MLQA/index.php?title=Help:Contents&diff=4 2009-09-24T10:15:44Z

<p>Peter: New page: == Getting started == Consult the [http://meta.wikimedia.org/wiki/Help:Contents User&#039;s Guide] for information on using the wiki software. See also: * [http://www.mediawiki.org/wiki/Man...</p> <hr /> <div>== Getting started ==<br /> <br /> Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.<br /> <br /> See also: <br /> <br /> * [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]<br /> * [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]<br /> * [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]<br /> <br /> ''Shortcuts:''<br /> <br /> Edit the sidebar (navigation)<br /> [http://wiki.ercim.org/wg/MLQA/index.php?title=MediaWiki:Sidebar&amp;action=edit]<br /> <br /> Create a new user account<br /> [http://wiki.ercim.org/wg/MLQA/index.php?title=Special:Userlogin&amp;type=signup]</div>

Peter https://wiki.ercim.eu/wg/MLQA/index.php?title=MediaWiki:Sidebar&diff=3 2009-09-24T10:14:44Z

<p>Peter: </p> <hr /> <div>* navigation<br /> ** mainpage|Introduction<br /> ** Research Topics|Research Topics<br /> ** List of Group Members|Members<br /> ** Group Activities|Group Activities<br /> ** Contact<br /> <br /> * Wiki<br /> ** recentchanges-url|recentchanges<br /> ** helppage|help</div>

Peter https://wiki.ercim.eu/wg/MLQA/index.php?title=MediaWiki:Sidebar&diff=2 2009-09-24T10:14:13Z

<p>Peter: New page: * navigation ** mainpage|Introduction ** Research Topics|Research Topics ** List of Group Members|Members ** Group Activities|Group Activities * Wiki ** recentchanges-url|recentchanges **...</p> <hr /> <div>* navigation<br /> ** mainpage|Introduction<br /> ** Research Topics|Research Topics<br /> ** List of Group Members|Members<br /> ** Group Activities|Group Activities<br /> <br /> * Wiki<br /> ** recentchanges-url|recentchanges<br /> ** helppage|help</div>

Peter