OlivierFest

OlivierFest 2025 with ICFP/SPLASH 2025

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 65th 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 abstra ...