This course is discontinued

Semester page for INF5160 - Autumn 2008

The PMA seminar starts on 26 August 2008. The formula is that of a "working seminar" with a "free spirit". The topic is the rather broad Formal Methods in Computer Science.

  • The focus is on/for PhD students (others are also welcomed to come). NO registration required (only for getting the 5 credits).
  • The working formula of the seminar gives priority to (in this order): research problems (with hope of finding solutions/ideas in the seminar), presentations of current/finished work of students, practice presentations (before conferences), presentation of interesting papers (not necessarily entirely understood), movie projections, invited outside speakers.
  • The free spirit encourages conversations, does not put pressure on the speakers, and hopes for brainstorming and new collaborations.

Aug. 25, 2008 4:00 PM