3rd Estonian Summer School in
Computer and System Science (ESSCaSS`04)
Pedase, Estonia
August 8-12, 2004
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
Last modified on August 05 2004 21:39:40. esscass04 at cc.ioc.ee