I C T A C   S C H O O L   -   2 0 0 6
School on Refinement
Tunis, Tunisia, 13-17 November 2006
20-24 November 2005

School Programme
Registation is on Monday between 8:00 and 9:00
On Monday lectures start at 9:00 and end at 17:30. Coffee breaks are between 10:30 and 11:00 in the morning and between 15:30 and 16:00 in the afternoon. Lunch break is between 12:30 and 14:00.
On Tuesday-Friday lectures start at 8:30 and end at 17:00. Coffee breaks are between 10:00 and 11:30 in the morning and between 15:00 and 15:30 in the afternoon. Lunch break is between 12:00 and 13:30. Examinations are between 17:15 and 18:00.
Monday 13 November 2006
Morning Lectures: Refinement in Object-oriented Development
Afternoon Lectures: Real-time and Fault-tolerant Systems
No Examination
Tuesday 14 November 2006
Morning Lectures: Refinement in Object-oriented Development
Afternoon Lectures: Real-time and Fault-tolerant Systems
Examination: Refinement in Object-oriented Development
Wednesday 15 November 2006
Morning Lectures: Concurrency: CSP and FDR
Afternoon Lectures: Unifying Theories of Programming
Examination: Real-time and Fault-tolerant Systems
Thursday 16 November 2006
Morning Lectures: Concurrency: CSP and FDR
Afternoon Lectures: Unifying Theories of Programming
Examination: Concurrency: CSP and FDR
Friday 17 November 2006
Morning Lectures: Refinement Tools: Focus on Industrial Experience
Afternoon Lectures: Refinement Tools: Focus on Industrial Experience
Examination: Unifying Theories of Programming
 Created: Tue Aug 22 14:29:25 CST 2006 Maintained by 
 Updated: Sat Nov 11 17:16:33 CST 2006 Antonio Cerone