I C T A C   S C H O O L   -   2 0 0 6
School on Refinement
Tunis, Tunisia, 13-17 November 2006
ICTAC 2006 20-24 November 2005 Home Overview Courses Application, Fees and Financial Support Organising Committee School Programme Social Programme General Information Tourist Information Sponsors OC Login	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