PROGRAM

WORKSHOPS AND TUTORIALS

Location: FERI, Faculty Of Electrical Engineering And Computer Science
Smetanova 17
SI-2000 Maribor (map)

Monday, 21 June
8:30 - 9:00 Registration
9:00 - 10:30 Workshops Morning session 1:
WS 1, WS 2, WS 3
Paper 1
10:30 - 11:00 Coffee break
11:00 - 12:30 Workshops Morning session 2:
WS 1, WS 2, WS 3
Inspirational talk, Papers 2 and 3
12:30 - 14:00 Lunch break
14:00 - 15:30 Workshops Afternoon session 1:
WS 1, WS 2, WS 3
Inspirational talk, Papers 4 and 5
15:30 - 16:00 Coffee break
16:00 - 17:30 Workshops Afternoon session 2:
WS 1, WS 2, WS 3
Conclusion. Planning for next year.

20:00 Social event: Visit of one of the biggest wine cellars in central Europe

Tuesday, 22 June
8:30 - 9:00 Registration
9:00 - 10:30 Workshops Morning session 1:
WS 5, WS 6, WS 7, WS 8, WS 9
Tutorials Morning session 1:
T1
10:30 - 11:00 Coffee break
11:00 - 12:30 Workshops Morning session 2:
WS 5, WS 6, WS 7, WS 8, WS 9
Tutorials Morning session 2:
T1
12:30 - 14:00 Lunch
14:00 - 15:30 Workshops Afternoon session 1:
WS 4, WS 5, WS 6, WS 8, WS 9
15:30 - 16:00 Coffee break
16:00 - 17:30 Workshops Afternoon session 2:
WS 4, WS 5, WS 6, WS 8, WS 9

MAIN CONFERENCE

Location: Hotel Habakuk
Pohorska ulica 59
SI-2000 Maribor (map)

Wednesday, 23 June
8:00 - 9:00 Registration
9:00 - 9:30 Welcome
9:30 - 10:30 Keynote:
Code Roots - Doug Lea
10:30 - 11:00 Coffee break
11:00 - 12:30 Session I:
Programming environments and tools
12:30 - 14:00 Lunch
14:00 - 15:30 Session II:
Theoretical foundations of programming languages
Summer School: Synthesis
15:30 - 16:00 Coffee break
16:00 - 17:30 Session III:
Formal methods
Summer School: F# Units

20:00 Social event: Feel the spirit of Pohorje


Thursday, 24 June
9:00 - 10:30 Keynote:
The role of empirical methods in software practice - David Budgen
10:30 - 11:00 Coffee break
11:00 - 12:30 Session IV:
Concurrency models in Java
12:30 - 14:00 Lunch
14:00 - 15:30 Panel:
The role of empirical methods in software practice
Special session: Empirical methods
Summer School: Memory Models
15:30 - 16:00 Coffee break
16:00 - 17:30 Session V:
Type systems
Summer School: CodeContracts

20:00 Social event: Conference Dinner


Friday, 25 June
9:30 - 10:30 Keynote:
Secret Valley - Erik Ernst
10:30 - 11:00 Coffee break
11:00 - 12:30 Session VI:
Language design and implementation
Summer School: Scala
12:30 - 14:00 Lunch
14:00 - 15:30 Session VII:
Concurrency abstractions
15:30 - 16:00 Coffee break
16:00 - 17:30 Session VIII:
Experiences
Summer School: Thorn