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. Key themes of the workshop are formal quantitative analysis, perspicuous computing, and formal methods in the era of AI.

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

Program

Confirmed speakers are, amongst others, Pedro D'Argenio, Patricia Bouyer-Decitre, Holger Hermanns, Joost-Pieter Katoen, Joel Ouaknine, and Marielle Stoelinga. A preliminary version of the program can be found here as a PDF.

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.