ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Wed 4 Sep 2024 17:30 - 17:35 at Green 1-2-3 - Business Meeting Chair(s): Marco Gaboardi

Marco Gaboardi is an Associate Professor at Boston University. Prior to joining Boston University he was an assistant professor at the University at Buffalo, SUNY, and prior to that he was an assistant professor at the University of Dundee, Scotland. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He has been a visiting scholar at the University of Pennsylvania, at Harvard University’s CRCS center, and at the Simons’ institute at UC Berkeley. He is a recipient of the NSF CAREER award and of a EU Marie Curie Fellowship. Marco’s research is in programming languages, formal verification, and in differential privacy.

Wed 4 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:15 - 18:30
Business MeetingICFP Papers and Events at Green 1-2-3
Chair(s): Marco Gaboardi Boston University
17:15
15m
Other
Remembering Alan Jeffrey
ICFP Papers and Events

17:30
5m
Awards
ICFP 2014 Most Influential Paper Award
ICFP Papers and Events
Marco Gaboardi Boston University
17:35
5m
Awards
Recognition of Distinguished Papers
ICFP Papers and Events
Brigitte Pientka McGill University
17:40
5m
Talk
SRC Awards
ICFP Papers and Events
Kuen-Bang Hou (Favonia) University of Minnesota, J. Garrett Morris University of Iowa
17:45
10m
Other
The functioning of ICFP
ICFP Papers and Events
Sam Lindley University of Edinburgh
File Attached
17:55
5m
Talk
Diversity, equality, and inclusion at ICFP
ICFP Papers and Events
Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden
18:00
10m
Other
General Chair report
ICFP Papers and Events
Marco Gaboardi Boston University
18:10
15m
Other
PC Chair's report
ICFP Papers and Events
Brigitte Pientka McGill University
18:25
5m
Other
ICFP 2025 announcement
ICFP Papers and Events
Ilya Sergey National University of Singapore