POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
POPL 2025 (series) / PLMW @ POPL 2025 (series) / PLMW @ POPL 2025 /

Technical Talk

PLMW @ POPL 2025

This program is tentative and subject to change.

Tue 21 Jan 2025 14:00 - 14:45 at Peek-A-Boo - Third Session Chair(s): Yannick Forster

I am a professor professor of computer science at the University of Rennes. My research interests focus on the development of trustworthy software using deductive verification

This program is tentative and subject to change.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

14:00 - 15:30
Third SessionPLMW @ POPL at Peek-A-Boo
Chair(s): Yannick Forster INRIA
14:00
45m
Talk
Technical Talk
PLMW @ POPL
Sandrine Blazy University of Rennes
14:45
45m
Talk
A Research Career in Balance
PLMW @ POPL
Andrew Myers Cornell University
Sandrine Blazy

Sandrine Blazy

University of Rennes