Contents

• Aims & Objectives of Seminar
• The Triptych Software Engineering Dogma
• Some Background
  • Computer & Computing Science
  • Formal Methods
  • A State-of-Affairs in Computing Science
  
  
• MSc/PhD-Course Material
• Exercise Workshop and Workshop Material
• Lectures
• Prerequisites
• Papers and Reports
• Past PhD Courses
• Photos
• Bjørner's CV