Go up to Top Go forward to Exercises

Course Organization

• Lectures
  1. Option: Tuesday, 8:15-9:45, HS 12.
  2. Option: Tuesday, 18:30-20:00, HS 5.
• Information
  • Web: http://www.risc.uni-linz.ac.at/courses/formal.
  • Office: Tuesday, 17:00-18:00, KG, 4th floor, RISC-Linz rooms.
• Grades
  • Written exam at end of semester.

Presence is strongly recommended.