Practicum Processen en Concurrency, Voorjaar 2007

Organisatie

Op deze pagina zul je informatie kunnen vinden betreffende de opdrachten die gemaakt moeten worden voor het practicum Processen & Concurrency.

Hier enkele belangrijke zaken:

Rooster

Het werkcollege zal zeker niet elke week plaatsvinden. Het al dan niet doorgaan van het werkcollege heeft ondermeer te maken met de vragen die door jullie worden gesteld. In het onderstaande voorlopige rooster proberen we om op tijd aan te geven of een bijeenkomst wel of niet doorgaat.

week dag onderwerp mijlpaal
6 vr 9 feb geen werkcollege  
7 vr 16 feb geen werkcollege  
8 vr 23 feb Carnaval, geen werkcollege  
9 vr 2 mrt introductie Uppaal, maak opgave 5.5 met Uppaal, presentatie 1e practicumopdracht (op 6 maart)  
10 vr 9 mrt geen werkcollege  
11 vr 16 mrt geen werkcollege  
12 vr 23 mrt gelegenheid tot vragen stellen  
13 vr 30 mrt gelegenheid tot vragen stellen  
14 vr 6 apr Goede Vrijdag, geen werkcollege  
15 vr 13 apr geen werkcollege uitwerking eerste opdracht inleveren
16 vr 20 april introductie Times, presentatie tweede practicumopdracht  
17 vr 27 april geen werkcollege  
18 vr 4 mei Meivakantie, geen werkcollege  
19 vr 11 mei feedback 1e opdracht en kleine opdrachten (per email), gelegenheid tot vragen stellen ivm tentamen (HG02.524) uitwerking tweede opdracht inleveren
20 ma 14 mei gelegenheid tot vragen stellen ivm tentamen (HG 02.524) -
20 di 15 mei tentamen -
20 vr 18 mei Hemelvaart, geen werkcollege  
21 di 22 mei derde opdracht komt beschikbaar -
21 vr 25 mei bespreking tweede opdracht  
22 vr 1 juni gelegenheid tot vragen stellen  
23 vr 8 juni gelegenheid tot vragen stellen  
24 vr 15 juni gelegenheid tot vragen stellen uitwerking derde opdracht inleveren


Laatste aanpassing op 22/5/2007 door Frits Vaandrager.