MLQA 2010 - Revision history

Nataliya at 09:22, 23 August 2010

2010-08-23T09:22:07Z

← Older revision		Revision as of 09:22, 23 August 2010
Line 27:		Line 27:
	* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]		* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]
	* Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]		* Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]
	* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]		* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. See slides here.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]

	Friday 12.30-14.00		Friday 12.30-14.00

Flemming at 12:10, 14 August 2010

2010-08-14T12:10:57Z

← Older revision		Revision as of 12:10, 14 August 2010
Line 26:		Line 26:
	* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]		* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]
	* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]		* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]
	* ~~Marsha Chechik and~~ Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]		* Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]
	* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]		* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]

Nataliya at 12:33, 20 July 2010

2010-07-20T12:33:29Z

← Older revision		Revision as of 12:33, 20 July 2010
Line 44:		Line 44:
	Friday 15.30-17.00		Friday 15.30-17.00

	* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations. ~~The~~ [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] ~~have been~~ taken during the meeting.		* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations. See [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] taken during the meeting.

Nataliya at 12:32, 20 July 2010

2010-07-20T12:32:12Z

← Older revision		Revision as of 12:32, 20 July 2010
Line 7:		Line 7:
	--------------------------------------------------		--------------------------------------------------

	See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting. See [[Poster Session at MLQA 2010]].		See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting and [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] from the business meeting. See [[Poster Session at MLQA 2010]].

	'''Programme for Friday, July 9'th 2010'''		'''Programme for Friday, July 9'th 2010'''
Line 44:		Line 44:
	Friday 15.30-17.00		Friday 15.30-17.00

	* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations		* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations. The [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] have been taken during the meeting.

Nataliya at 12:27, 20 July 2010

2010-07-20T12:27:02Z

← Older revision		Revision as of 12:27, 20 July 2010
Line 16:		Line 16:

	* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.\| From the How to the What: Static Analysis via Model Checking.]]		* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.\| From the How to the What: Static Analysis via Model Checking.]]
	* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic.\|Model Checking is Static Analysis of Modal Logic.]]		* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic. See slides here.\|Model Checking is Static Analysis of Modal Logic.]]

	Friday 10.00-10.30		Friday 10.00-10.30
Line 24:		Line 24:
	Friday 10.30-12.30		Friday 10.30-12.30

	* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement.\|Quantitative Abstraction Refinement.]]		* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]
	* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs.\|Invariant Generation for Probabilistic Programs.]]		* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]
	* Marsha Chechik and Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking.\|Partial Models and Software Model-Checking.]]		* Marsha Chechik and Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]
	* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]		* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]

Line 36:		Line 36:

	* David Monniaux. [[Abstracts FLoC 2010#David Monniaux. Policy iteration for static analysis.\|Policy iteration for static analysis.]]		* David Monniaux. [[Abstracts FLoC 2010#David Monniaux. Policy iteration for static analysis.\|Policy iteration for static analysis.]]
	* Michael Huth. [[Abstracts FLoC 2010#Michael Huth. From validating quantitative models to generating valid ones.\|From validating quantitative models to generating valid ones.]]		* Michael Huth. [[Abstracts FLoC 2010#Michael Huth. From validating quantitative models to generating valid ones. See slides here.\|From validating quantitative models to generating valid ones.]]

	Friday 15.00-15.30		Friday 15.00-15.30

Nataliya at 12:26, 20 July 2010

2010-07-20T12:26:06Z

← Older revision		Revision as of 12:26, 20 July 2010
Line 15:		Line 15:
	Friday 9.00-10.00		Friday 9.00-10.00

	* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking.\| From the How to the What: Static Analysis via Model Checking.]]		* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.\| From the How to the What: Static Analysis via Model Checking.]]
	* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic.\|Model Checking is Static Analysis of Modal Logic.]]		* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic.\|Model Checking is Static Analysis of Modal Logic.]]

Nataliya at 15:39, 15 July 2010

2010-07-15T15:39:53Z

← Older revision		Revision as of 15:39, 15 July 2010
Line 7:		Line 7:
	--------------------------------------------------		--------------------------------------------------

	See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting.		See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting. See [[Poster Session at MLQA 2010]].

	'''Programme for Friday, July 9'th 2010'''		'''Programme for Friday, July 9'th 2010'''
Line 45:		Line 45:

	* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations		* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations

	See [[Poster Session at MLQA 2010]].

Nataliya at 15:38, 15 July 2010

2010-07-15T15:38:46Z

← Older revision		Revision as of 15:38, 15 July 2010
Line 46:		Line 46:
	* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations		* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations

	~~The submissions to the <b>Poster Session</b> will be available soon.~~ See [[Poster Session at MLQA 2010]].		See [[Poster Session at MLQA 2010]].

Nataliya at 12:05, 15 July 2010

2010-07-15T12:05:22Z

← Older revision		Revision as of 12:05, 15 July 2010
Line 3:		Line 3:
	* '''Static Analysis versus Model Checking''': similarities, differences, synergies		* '''Static Analysis versus Model Checking''': similarities, differences, synergies

	The event consisted of a number of '''invited talks''', a [[Poster Session at MLQA 2010\|'''poster session''']] and a business meeting. The purpose of invited talks was to cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems.		The event consisted of a number of '''invited talks''', a [[Poster Session at MLQA 2010\|'''poster session''']] and a '''business meeting'''. The purpose of invited talks was to cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems.

	--------------------------------------------------		--------------------------------------------------

Nataliya at 12:05, 15 July 2010

2010-07-15T12:05:04Z

← Older revision		Revision as of 12:05, 15 July 2010
Line 3:		Line 3:
	* '''Static Analysis versus Model Checking''': similarities, differences, synergies		* '''Static Analysis versus Model Checking''': similarities, differences, synergies

	The event consisted ~~mainly~~ of a number of '''invited talks''' ~~and~~ a [[Poster Session at MLQA 2010\|'''poster session''']]. The purpose of ~~the~~ invited talks was to cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems.		The event consisted of a number of '''invited talks''', a [[Poster Session at MLQA 2010\|'''poster session''']] and a business meeting. The purpose of invited talks was to cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems.

	--------------------------------------------------		--------------------------------------------------

← Older revision		Revision as of 12:10, 14 August 2010
Line 26:		Line 26:
	* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]		* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]
	* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]		* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]
	* ~~Marsha Chechik and~~ Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]		* Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]
	* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]		* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]

← Older revision		Revision as of 12:27, 20 July 2010
Line 16:		Line 16:

	* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.\| From the How to the What: Static Analysis via Model Checking.]]		* Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.\| From the How to the What: Static Analysis via Model Checking.]]
	* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic.\|Model Checking is Static Analysis of Modal Logic.]]		* Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic. See slides here.\|Model Checking is Static Analysis of Modal Logic.]]

	Friday 10.00-10.30		Friday 10.00-10.30
Line 24:		Line 24:
	Friday 10.30-12.30		Friday 10.30-12.30

	* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement.\|Quantitative Abstraction Refinement.]]		* Marta Kwiatkowska. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.\|Quantitative Abstraction Refinement.]]
	* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs.\|Invariant Generation for Probabilistic Programs.]]		* Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.\|Invariant Generation for Probabilistic Programs.]]
	* Marsha Chechik and Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking.\|Partial Models and Software Model-Checking.]]		* Marsha Chechik and Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.\|Partial Models and Software Model-Checking.]]
	* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]		* Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.\|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]]

Line 36:		Line 36:

	* David Monniaux. [[Abstracts FLoC 2010#David Monniaux. Policy iteration for static analysis.\|Policy iteration for static analysis.]]		* David Monniaux. [[Abstracts FLoC 2010#David Monniaux. Policy iteration for static analysis.\|Policy iteration for static analysis.]]
	* Michael Huth. [[Abstracts FLoC 2010#Michael Huth. From validating quantitative models to generating valid ones.\|From validating quantitative models to generating valid ones.]]		* Michael Huth. [[Abstracts FLoC 2010#Michael Huth. From validating quantitative models to generating valid ones. See slides here.\|From validating quantitative models to generating valid ones.]]

	Friday 15.00-15.30		Friday 15.00-15.30