3rd Estonian Summer School in
Computer and Systems Science (ESSCaSS'04)

III Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS'04)

Pedase, August 8-12, 2004.



Agenda

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



 


Valid CSS! Valid XHTML 1.0 Strict Last modified on August 05 2004 21:39:40. esscass04 at cc.ioc.ee