Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Tue 25 Sep 2018 12:15 - 12:50 at Stifel Theatre - Report on ICFP and Climate Change

Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization technologies. He is the author of the widely used graduate textbooks Types and Programming Languages and Software Foundations. He has served as co-Editor in Chief of the Journal of Functional Programming, as Managing Editor for Logical Methods in Computer Science, and as editorial board member of Mathematical Structures in Computer Science, Formal Aspects of Computing, and ACM Transactions on Programming Languages and Systems. He is also the lead designer of the popular Unison file synchronizer.

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

12:15 - 12:50
Report on ICFP and Climate ChangeKeynotes and Reports at Stifel Theatre
Report on ICFP and Climate Change
Keynotes and Reports
P: Benjamin C. Pierce University of Pennsylvania