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.