Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Mon 24 Aug 2020 10:30 - 11:30 at ICFP Social 2 - How to ICFP
Mon 24 Aug 2020 22:00 - 23:00 at ICFP Social 2 - How To ICFP

An informal training session to introduce ICFP participants to the features of the Clowdr platform.

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 and co-developer of the Clowdr virtual conference platform.

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:30: How to ICFPSocial Events at ICFP Social 2
10:30 - 11:30
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. PierceUniversity of Pennsylvania
22:00 - 23:00: How To ICFPSocial Events at ICFP Social 2
22:00 - 23:00
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. PierceUniversity of Pennsylvania