ARTES summerschool 2000
with
SNART
meeting and
Real-Time Communication Workshop
SCHEDULE
approx
SNART
day
time
Monday
Tuesday
Wednesday
Thursday and Friday
8
SIGURT
RT course discussions
Techniques for formal Verification of Infinite-State Concurrent systems
Real-Time Communication Workshop
9
"
ARTES at mid-term
"
10
Bus from Eskilstuna
Invited company Ericsson
ARTES future
"
11
Project presentations
"
Benchmark discussions Chair: Jakob Engblom
"
12
L
U
N
C
H
13
Entreprenörskap
Ericsson cont
Real-Time Communication Workshop
14
Projects
"
Social activities
"
15
"
"
"
"
End of meeting
16
"
SNART meeting
"
"
17
"
"
"
18
Dinner
Dinner
Dinner
19
Board meeting
Conference dinner
To the
more detailed Programme
and main
Summerschool page
.