OlivierFest

OlivierFest 2025 with ICFP/SPLASH 2025

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday (and his upcoming 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 educat ...