Dette emnet er nedlagt

Semesterside for INF5160 - Vår 2008

A new mailing list is available under the name fm-seminar . Through it you will receive information related to the seminar (and it's weakly program).

21. apr. 2008 20:24

The time of the seminar has changed to Wednesday 13.15 (Onsdag 13.15), but the place is the same room 41151 in the forth floor of Forskningsparken building.

21. apr. 2008 20:17

The seminar is now trying an old formula of a "working seminar" with a "free spirit". It also combines the old Creol, Credo, and PMA meetings. The topic is still 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.

21. apr. 2008 20:12