ARTES
-------------------------------------------------

 
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.

  ---------------------line----------------------------
  Strategic Research