This course is discontinued

Semester page for INF5160 - Spring 2010

The FM seminar (Databehandling seminar) has changed the day to Wednesday (Onsdag) from 13.15. It usually lasts for one hour.

Jan. 12, 2010 10:19 PM

The formula of the PMA seminar 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 you need to register).
  • 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.

Jan. 12, 2010 10:17 PM