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.
If you you need further assistance or have any questions, please write an e-mail to pfqacb60 at easychair dot org
.