~~NOTOC~~
====== F09-GS/CSE6411: Programming Logic for Complex Systems  ======

  * Please **login** to the wiki (see bottom** ↓** of this page for login).

  * Slides from the first lecture and for the second are available in the SVN repository.

  * Please try out the Rodin Event-B Eclipse tool in preparation for Monday's class.

  * [[public:course|Course Contents]].





===== Lecture Times =====
Winter 2009: Starting Wednesday March 4th, 2009

Mondays and Wednesdays: 11:30am-1pm

Location: SEL (Software Engineering Laboratory, CSEB2056)

Office hours: directly after class.