OlivierFest 2025

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday.

Olivier is a visionary in the field of programming languages and is well-known for his seminal work on control operators, partial evaluation, inter-derivation of program semantics, and applications of mechanised theorem provers in Computer Science research and education. Olivier’s research on abstract machines, interpreters, and program manipulation techniques has been instrumental in building common understanding of how programs compute, transform, and interact. His contributions inspired several generations of researchers to study connections between programs and data, syntax and semantics, interpreters and compilers. Known for being an extraordinarily kind and approachable person, Olivier has been a supportive mentor and a role model for his students, collaborators, and colleagues. Last but not least, a dedicated educator, Olivier has authored many influential courses on understanding and designing programs, and a number of papers on elegant and instructive uses of functional programming and proof assistants.

We invite you to join us in honouring Olivier with this workshop, featuring a series of distinguished talks and papers by his students, colleagues, and friends, on the topics in the many areas of Computer Science that he has contributed to.

Contributed Papers and Talks