Concurrent Systems

/Courses fall 2002 /Concurrent Systems



		Lecture plan Week plans and other material

Homepage for Concurrent Systems

Fall 2002 (E2002)

Course formalia and contents

This course is followed by two types of students: a group at Høgskolen i Nord-Trøndelag in Norway and a group of students here at IT-C. The first group is supposed to follow the course remotely.

News:

19 November, 2002: Previous examination sets
19 November, 2002: Examination requirements
15 November, 2002: Week plan week #12
8 October, 2002: Mini Project
8 October, 2002: Proposals for 4-week projects
8 October, 2002: Solutionexercise 7-7
13 August, 2002: Links to publications concerning formal methods.
13 August, 2002: The paper: Formal Methods: State of the Art and Future Directions (pdf)(ps).

Where and when

Lectures and exercises are held at Glentevej 67 (except for the students at HiNT).

Lectures: Room 2.59 (before 12:00) 1.60 (after 12:00)
Exercises: Room 4.05

The starting time of the lectures is announced on the week plan.

Teachers:

Simon Mørk (Maconomy) (SM@maconomy.dk)
Jens Chr. Godskesen (IT-C) (jcg@it-c.dk)

Teaching assistents:

Hugo Nordseth (HiNT) (Hugo.Nordseth@hint.no)
Federico Decara (IT-C) (federico@decara.com)

Teacher in charge:

Jens Chr. Godskesen (jcg@it-c.dk)

updated 2002-11-19
by Jens Chr. Godskesen