The formula of the PMA ¡­

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.