MLQA 2009 - Revision history

Nataliya: March 2009: Kick-Off meeting in York moved to MLQA 2009

2010-07-15T10:01:22Z

March 2009: Kick-Off meeting in York moved to MLQA 2009

← Older revision		Revision as of 10:01, 15 July 2010
(No difference)

Nataliya at 14:03, 5 November 2009

2009-11-05T14:03:36Z

← Older revision		Revision as of 14:03, 5 November 2009
Line 156:		Line 156:

	[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]		[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]

	[[Image:MLQA-KickOff-7-ShortPresentations.pdf]]

	== Meeting's results ==		== Meeting's results ==

Nataliya at 14:02, 5 November 2009

2009-11-05T14:02:38Z

← Older revision		Revision as of 14:02, 5 November 2009
Line 157:		Line 157:
	[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]		[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]

	[Image:MLQA-KickOff-7-ShortPresentations.pdf]		[[Image:MLQA-KickOff-7-ShortPresentations.pdf]]

	== Meeting's results ==		== Meeting's results ==

Nataliya at 14:02, 5 November 2009

2009-11-05T14:02:18Z

← Older revision		Revision as of 14:02, 5 November 2009
Line 156:		Line 156:

	[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]		[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]

			[Image:MLQA-KickOff-7-ShortPresentations.pdf]

	== Meeting's results ==		== Meeting's results ==

Nataliya at 13:45, 5 November 2009

2009-11-05T13:45:31Z

Show changes

Nataliya at 13:38, 5 November 2009

2009-11-05T13:38:21Z

← Older revision		Revision as of 13:38, 5 November 2009
Line 36:		Line 36:
	{\| class="wikitable" border="1"		{\| class="wikitable" border="1"
	\|-		\|-
	! ~~header 1~~		! Attendant
	! ~~header 2~~		! Affiliation
	! header 3
	\|-		\|-
		⚫	\| Ezio Bartocci
	\| row 1, cell 1
		⚫	\| UNICAM, Camerino, Italy
	\| row 1, cell 2
	\| row 1, cell 3
	\|-		\|-
	\| row 2, cell 1		\| row 2, cell 1
	\| row 2, cell 2		\| row 2, cell 2
	\| row 2, cell 3
	\|}		\|}


	Attendant

	Affiliation

	Ezio

⚫	Bartocci
⚫	UNICAM, Camerino, Italy
	Manuela		Manuela
	Bujorianu		Bujorianu

Nataliya at 13:36, 5 November 2009

2009-11-05T13:36:43Z

← Older revision		Revision as of 13:36, 5 November 2009
Line 33:		Line 33:

	== Meeting attendees ==		== Meeting attendees ==

			{\| class="wikitable" border="1"
			\|-
			! header 1
			! header 2
			! header 3
			\|-
			\| row 1, cell 1
			\| row 1, cell 2
			\| row 1, cell 3
			\|-
			\| row 2, cell 1
			\| row 2, cell 2
			\| row 2, cell 3
			\|}

	Attendant		Attendant

Nataliya at 13:30, 5 November 2009

2009-11-05T13:30:19Z

← Older revision		Revision as of 13:30, 5 November 2009
Line 3:		Line 3:
	== Programe of the meeting ==		== Programe of the meeting ==

	· 10.10-10.30: Opening		* 10.10-10.30: Opening
	o Flemming Nielson: “An overview of MLQA”		**Flemming Nielson: “An overview of MLQA”

	· 11.00-12.30: Invited Talks:		* 11.00-12.30: Invited Talks:
	o Stephen Gilmore - stochastic analysis in PEPA		** Stephen Gilmore - stochastic analysis in PEPA
	o Carolyn Talcott - statistical model checking in Maude		** Carolyn Talcott - statistical model checking in Maude
	o Rocco De Nicola - process algebras for stochastic features		** Rocco De Nicola - process algebras for stochastic features

	· 14.00-15.30: Invited Talks:		* 14.00-15.30: Invited Talks:
	o Diego Latella - applications to service oriented systems: “A Stochastic Logic for Mobility and Global Computing”		** Diego Latella - applications to service oriented systems: “A Stochastic Logic for Mobility and Global Computing”
	o Holger Hermanns - applications to embedded systems		** Holger Hermanns - applications to embedded systems
	o Paola Quaglia - applications to biological systems		** Paola Quaglia - applications to biological systems

	· 16.00-17.00: Short Presentations (“4 minutes, 1 slide”):		* 16.00-17.00: Short Presentations (“4 minutes, 1 slide”):
	o Tino Teige (University of Oldenburg).		** Tino Teige (University of Oldenburg).
	o Herbert Wiklicky (Imperial College).		** Herbert Wiklicky (Imperial College).
	o Vashti Galpin (University of Edinburgh).		** Vashti Galpin (University of Edinburgh).
	o Manuela Bujorianu (Cicada).		** Manuela Bujorianu (Cicada).
	o Stefan Kiefer (TU Munich).		** Stefan Kiefer (TU Munich).
	o Erik de Vink (CWI and TU/e).		** Erik de Vink (CWI and TU/e).
	o Milad Niqui (CWI).		** Milad Niqui (CWI).
	o Ezio Bartocci (Universita Camerino).		** Ezio Bartocci (Universita Camerino).
	o Henrikas Pranevicius (Kaunas University of Technology).		** Henrikas Pranevicius (Kaunas University of Technology).
	o Sven Schneider (TU Berlin).		** Sven Schneider (TU Berlin).
	o Mark Timmer (University of Twente).		** Mark Timmer (University of Twente).
	o Uli Fahrenberg (University of Aalborg).		** Uli Fahrenberg (University of Aalborg).

	· 17.10-18.00: Discussion		* 17.10-18.00: Discussion

	== Meeting attendees ==		== Meeting attendees ==

Nataliya at 13:16, 5 November 2009

2009-11-05T13:16:15Z

← Older revision		Revision as of 13:16, 5 November 2009
Line 2:		Line 2:

	== Programe of the meeting ==		== Programe of the meeting ==

			· 10.10-10.30: Opening
			o Flemming Nielson: “An overview of MLQA”

			· 11.00-12.30: Invited Talks:
			o Stephen Gilmore - stochastic analysis in PEPA
			o Carolyn Talcott - statistical model checking in Maude
			o Rocco De Nicola - process algebras for stochastic features

			· 14.00-15.30: Invited Talks:
			o Diego Latella - applications to service oriented systems: “A Stochastic Logic for Mobility and Global Computing”
			o Holger Hermanns - applications to embedded systems
			o Paola Quaglia - applications to biological systems

			· 16.00-17.00: Short Presentations (“4 minutes, 1 slide”):
			o Tino Teige (University of Oldenburg).
			o Herbert Wiklicky (Imperial College).
			o Vashti Galpin (University of Edinburgh).
			o Manuela Bujorianu (Cicada).
			o Stefan Kiefer (TU Munich).
			o Erik de Vink (CWI and TU/e).
			o Milad Niqui (CWI).
			o Ezio Bartocci (Universita Camerino).
			o Henrikas Pranevicius (Kaunas University of Technology).
			o Sven Schneider (TU Berlin).
			o Mark Timmer (University of Twente).
			o Uli Fahrenberg (University of Aalborg).

			· 17.10-18.00: Discussion

	== Meeting attendees ==		== Meeting attendees ==

Nataliya at 13:15, 5 November 2009

2009-11-05T13:15:32Z

← Older revision		Revision as of 13:15, 5 November 2009
Line 1:		Line 1:
			The Kick-Off meeting of the proposed ERCIM working group on Models and Logics for Quantitative Analysis (abbreviated MLQA) took place on Saturday 28’th of March in conjunction with ETAPS 2009 in York.

			== Programe of the meeting ==

			== Meeting attendees ==

			Attendant
			Affiliation
			Ezio
			Bartocci
			UNICAM, Camerino, Italy
			Manuela
			Bujorianu
			University of Manchester, UK
			Gabriel
			Ciobanu
			Romanian Academy,Iasi, Romania
			Vincent
			Danos
			University of Edinburgh, Informatics
			Rocco
			de Nicola
			Universita di Firenze, Italy
			Erik
			de Vink
			TU Eindhoven and CWI
			Uli
			Fahrenberg
			Aalborg University, Computer Science
			Vashti
			Galpin
			University of Edinburgh, Informatics
			Stephen
			Gilmore
			University of Edinburgh, Informatics
			Matthew
			Hennessy
			Trinity College Dublin, Computer Science
			Holger
			Hermanns
			Saarland University
			Jane
			Hillston
			University of Edinburgh, Informatics
			Joost-Pieter
			Katoen
			RWTH Aachen and University of Twente
			Stefan
			Kiefer
			TU Munich, Informatics
			Richard
			Lassaigne
			University Paris 7
			Diego
			Latella
			CNR, ISTI
			Michele
			Loreti
			Universita di Firenze, Italy
			Emanuela
			Merelli
			UNICAM, Camerino, Italy
			Flemming
			Nielson
			DTU Informatics
			Hanne Riis
			Nielson
			DTU Informatics
			Milad
			Niqui
			CWI
			Catuscia
			Palamidessi
			INRIA
			David
			Parker
			Oxford University
			Nenrikas
			Pranevicius
			Kaunas University
			Paola
			Quaglia
			Trento University, Italy
			Vladimiro
			Sassone
			University of Southampton
			Sven
			Schneider
			Technical University Berlin
			Nataliya
			Skrypnyuk
			DTU Informatics
			Carolyn
			Talcott
			SRI International, USA
			Tino
			Teige
			Oldenburg University
			Mark
			Timmer
			University of Twente, Netherlands
			Herbert
			Wiklicky
			Imperial College, London
			Ender
			Yuksel
			DTU Informatics

			== Presentations' slides ==

	[http://wiki.ercim.org/wg/MLQA/images/9/91/MLQA-KickOff-0-Nielson.pdf Presentation by Flemming Nielson]		[http://wiki.ercim.org/wg/MLQA/images/9/91/MLQA-KickOff-0-Nielson.pdf Presentation by Flemming Nielson]

Line 14:		Line 124:

	[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]		[http://wiki.ercim.org/wg/MLQA/images/0/0e/MLQA-KickOff-7-ShortPresentations.pdf Short presentations by the participants]

			== Meeting's results ==

			The discussion fully supported actually creating the working group.

			Concerning the mission statement it was suggested that the logic component be stressed further, that we should make sure to involve control theory and that we should be open to neighbouring areas like performance guarantees; the latter could be accomplished by inviting guest speakers to future meetings. It was also suggested that theorem proving be mentioned as a relevant technology. Concerning application areas it was suggested that life sciences (applications to biology) should be worked better into the document and that the security component should be strengthened.

			Concerning the duration of the meetings a two day meeting colocated with a relevant conference was favoured. It is not the intention ot create a meeting with accepted papers but rather to keep it an informal venue intended to create synergies. Some concrete suggestions were to colocate with QEST and FORMATS whereas ETAPS was felt to be a bit crowded (and there was the unfortunate scheduling of MLQA and QAPL on the same day) and ICALP and DiscoTec were found not to be too close in topic. Indeed QEST and FORMATS will be held in 2011 in Aachen and Joost-Pieter Katoen (present at the meeting) will be the organizer.

			Concerning the contents of the meeting it was suggested that an effort should be made to make the meetings “special”. Ideas could be to contrast “opposing” analysis techniques, to present and share case studies of a reasonable size that could be addressed using various techniques. In other words to actually avoid the risk of becoming yet another conference. Once the board of the working group is in place it would be the duty of the board to make this kind of planning.