Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Thu 17 Jan 2019 17:40 - 17:50 at Sala I + II - Business Meeting

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.

Thu 17 Jan

Displayed time zone: Belfast change

17:00 - 18:00
Business MeetingResearch Papers at Sala I + II
17:00
15m
Other
PC Chair Report
Research Papers
Stephanie Weirich University of Pennsylvania, USA
Media Attached
17:15
10m
Awards
SIGPLAN Awards
Research Papers
Benjamin C. Pierce University of Pennsylvania
Media Attached
17:25
5m
Other
POPL 2020 Announcement
Research Papers
Brigitte Pientka McGill University, Lars Birkedal Aarhus University
Media Attached
17:30
10m
Other
NSF funding for PL
Research Papers
Rance Cleaveland University of Maryland
Media Attached
17:40
10m
Other
SIGPLAN Climate Committee Report
Research Papers
Benjamin C. Pierce University of Pennsylvania
Media Attached
17:50
10m
Other
State of SIGPLAN
Research Papers
Jens Palsberg University of California, Los Angeles (UCLA)
Media Attached