Tue 18 Jan 2022 15:05 - 15:40 at Independence - Afternoon 2 Chair(s): Paul Downen

We review the correspondence between logic and languages discovered more than 50 years ago, and then present more recent advances. By putting truth and falsehood on equal footing, we discover a model of computation based on interaction between a term and its context. We illustrate how logic has provided inspiration for better understand program behavior, program compilation and more efficient implementations. But most of all, it emphasizes that it doesn’t matter if you are right or wrong, but that you can have an honest dialogue with your opponents. The truth is often found hiding amidst disagreements.

Tue 18 Jan

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

15:05 - 16:20
Afternoon 2PLMW at Independence
Chair(s): Paul Downen University of Massachusetts Lowell
15:05
35m
Talk
Proving and ProgrammingRemote
PLMW
Zena M. Ariola University of Oregon
15:45
35m
Talk
Finding a research topic (or being found by a research topic?)Remote
PLMW
Alexandra Silva Cornell University