Weekly outline
 
Project Seminar Formal Methods in Computer Science (326.038, SS 2005)
Time: Wednesday, 10:30-12:00.
Place: Hagenberg Seminar Room (HA 105).
Start: March 9.

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.


To take part in the seminar, you have to register in the KUSSS system. Please also register in Moodle ("Login" at the upper right corner) such that you will receive per email all announcements that we post in the News Forum below.

Forum News forum
 
6
April 13 - April 19
  • Rebhi Baraka: report on EEE 05 conference.
  • Laura Kovacs and Wolfgang Schreiner: report on VISSAS 05 workshop.
  • Wolfgang Schreiner: report on ETAPS 2005 conference.
Resource Overview on IEEE EEE05
Resource VISSAS 2005 and ETAPS 2005