Sunday, August 8

10.00

Departure from Tallinn by coach

12.00-13.30

Lunch

13.30-15.00

Wilfried Brauer "LECTURES ON MULTIAGENT SYSTEMS - I"

15.00-15.30

Coffee break

15.30-17.00

John Hatcliff "BOGOR OVERVIEW AND FOUNDATIONS OF EXPLICIT-STATE MODEL-CHECKING"

17.00-17.30

Break

17.30-19.00

Margus Veanes "SPECIFICATION AND BLACK-BOX TESTING OF SOFTWARE WITH SPEC# - I"

19.30

Dinner

Monday, August 9

8.00-8.45

Breakfast

9.00-10.30

Anders Ravn "COMPONENT BASED DEVELOPMENT - ISSUES AND CHALLENGES"

10.30-10.50

Coffee break

10.50-12.20

Margus Veanes "SPECIFICATION AND BLACK-BOX TESTING OF SOFTWARE WITH SPEC# - II"

12.30

Lunch

14.00-15.30

Wilfried Brauer "LECTURES ON MULTIAGENT SYSTEMS - II"

15.30-16.00

Coffee break

16.00-17.00

John Hatcliff "WRITING BOGOR EXTENSIONS -- A TUTORIAL"

17.00-17.20

Break

17.20-18.50

Vahur Kotkas Program Synthesis for Mobile Computing
Jürgo-Sören Preden Ad-Hoc and Multihop Networks
Helen Priisalu Adaptive Estimation of the Parameters of Non-Stationary Object
Ausra Mackute Optimal Design with a Small Feasible Region

19.00

Dinner

21.00-

Sauna

Tuesday, August 10

8.00-8.45

Breakfast

9.00-10.30

Anders Ravn "FRAMEWORKS FOR CBD AND MBD"

10.30-11.20

Coffee break & poster session

11.20-12.20

Margus Veanes "SPECIFICATION AND BLACK-BOX TESTING OF SOFTWARE WITH SPEC# - III"

12.30

Lunch

14.00-15.00

Wilfried Brauer "LECTURES ON MULTIAGENT SYSTEMS - III"

15.20-19.00

Excursion to Padise

19.30-

Dinner in the open air

Wednesday, August 11

8.00-8.45

Breakfast

9.00-10.30

Wilfried Brauer "LECTURES ON MULTIAGENT SYSTEMS - IV"

10.30-10.50

Coffee break

10.50-12.20

John Hatcliff "CHECKING JAVA PROGRAMS AND JML SPECIFICATIONS"

12.30

Lunch

14.00-15.30

Margus Veanes "SPECIFICATION AND BLACK-BOX TESTING OF SOFTWARE WITH SPEC# - IV"

15.30-16.00

Coffee break

16.00-17.00

Anders Ravn "COMPONENTS AND UML"

17.00-17.20

Break

17.20-18.30

Matko Botincan Solving Capacitated Vehicle Routing Problem with Branch-andcut Methods
Andrei Lobov Modeling and formal Validation of PLC-based Systems
Omar López Communication System of IEC 61499 Using FIPA Standard Protocol

19.00

Dinner

21.00-

Thursday, August 12

8.00-8.45

Breakfast

9.00-10.30

John Hatcliff "DESIGNING COMPONENT-BASED SYSTEMS IN CADENA AND CHECKING CADENA DESIGNS IN BOGORBogor Overview and Foundations of Explicit-State Model-checking"

10.30-10.50

Coffee break

10.50-12.20

Anders Ravn "COMPONENT ASPECTS AND THEIR FORMALIZATIONS"

12.30

Lunch

13.30

Bus to Tallinn

~15.00

The bus will reach Tallinn