Colloquium on Principles of Formal Quantitative Analysis

On the occasion of Christel Baier’s birthday 2025, there will be a special colloquium to celebrate her achievements and personal engagement.

The colloqium will take place on Saturday, 30 August 2025 at CONCUR 2025, Aarhus, Denmark. PFQA is planned as an IFIP WG 1.8 event.

Program

The program is still to be determined.

Organizers

• Nathalie Bertrand, INRIA Rennes, France
• Clemens Dubslaff, Eindhoven University of Technology, Eindhoven, NL
• Sascha Klüppelholz, Dresden University of Technology, Dresden, Germany

Questions

If you you need further assistance or have any questions, please write an e-mail to pfqacb60 at easychair dot org.