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.