Kallelse till styrelsemöte i ARTES

Material till mötet som 1.3 MB pdf fil

Dagordning

1. Mötets öppnande och val av justeringsperson
2. Dagordningens godkännande
3. Föregående mötes protokoll
4. Ekonomin. (underlag ej klart)
5. Projekt, rapporter och förändringar.
   1. A8-9805, ny plan för projektet 00-08-20.
   2. 1 års rapporter, instruktionen.
      1. 9811-6, New directions in Symbolic Model Checkning for Real-Time Systems, 1-year-report 00-08-22
      2. P1; Simulation Concepts to Model Real-Time and Dependability Properties of Symmetric Multiprocessor Systems 99-05-01; 100%; 00-04-30, First year report 00-08-17.
   3. 2 års rapporter, instruktionen
      1. #7 Integrated control and scheduling
   4. Projekten 9811-3, 9905-1, 0005-19, 0005-20
      Nya kontakter på Mecel AB är Lars Magnusson och Ronald Hedström.
6. Förlängning av projekt
   1. #7 Integrated control and scheduling
7. Övriga ansökningar
   
   1. Mentor programme
   2. Mobilitet - 7 Gerhard Fohler, specificering begärd förra mötet.
      
8. Realtidskurser behovet ev stödbeslut bör diskuteras före mötet under sommarskolan.
9. Rapporter till SSF.
   1. Halvtidsgranskningen
      Tid: 8.45 torsdag 24 augusti. Samling i soffan vid SSF:s reception. Vägbeskrivning.
   2. Scientific report sent to SSF 00-07-20.
10. Informationer
    1. Examina, fråga om alla avhandlingar bör distribueras till alla ARTES noder.
    2. ECRTS 2000
       • 7 stipendier delades ut (1 person kom inte G. Fortino)
       • 41 RT avhandlingar distribuerades efter konferensen.
    3. Industribesöken (Bertil E., Lars Ö.)
    4. Databas för ARTES vid MDH.
11. Övriga frågor
    
12. Kommande möten.
    1. 8 november 2000 kl 10-14 på Arlanda.
13. Mötets avslutande