Mon 17 Jan 2022 14:15 - 15:15 at PEPM - Keynote 3 Chair(s): Keiko Nakata

A rich source of inspiration in programming languages is the correspondence between propositions and types. We look back at how modal operators such as necessity and possibility can help us understand computational phenomena through this lens. We then look forward and examine how recent discoveries regarding modalities might influence our thinking about advanced type systems.

Mon 17 Jan

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

14:15 - 15:15
Keynote 3PEPM at PEPM
Chair(s): Keiko Nakata SAP Innovation Center Potsdam
14:15
60m
Keynote
Modal Logics and Types: Looking Back and Looking ForwardRemote
PEPM
Frank Pfenning Carnegie Mellon University, USA