Lecture Course by Peter D. Mosses\\
Spring Semester, 2001
''Lectures:'':
__Thursdays 12-14 (R3)__
''Exercises:'':
__Wednesdays 9-10 (R3)__
___ Exercises for Thu 15 March: ___
Please focus on __exercises 6.1 and 6.2.__
''Questions concerning [[Chapter 6]] and [[Chapter 7]] of the notes are most welcome!''
=== News ===
- The slides and notes for [[Chapter 7]] are available
- An interim [[Bibliography]] is available
=== Reactions ===
Participants are encouraged to insert (brief) questions and comments
anywhere on these pages -- e-mail [[mailto:pdm@brics.dk]] if you've
forgotten the name or password.
Remember to sign your comments!
[[[pdm]]]
__About Chapter 8__: If anyone has problems with understanding CASL
specifications, I will gladly help -- [[klin]]