Date: January 14 (World Logic Day), 2025
Venue: Room B4009 (seminar room), Departament of Mathematics
Online: https://videoconf-colibri.zoom.us/j/93344876599?pwd=ejkrZ3FpYkh0NE1YV3NCdGFMOGw3QT09
Speaker: Filipa Mendes (CMAT)
Title: Logic and Continuations
Abstract: A “continuation” is the rest of a program. A control operator is an operator which handles explicitly the continuation. Continuation-passing-style is a style of programming. All these computational concepts have rich and surprising connections with logic, namely with principles of classical logic, with translations of classical logic into intuitionistic logic, and with translations between deductive systems. We will try to illustrate all this in friendly and pedagogical terms, to celebrate the World Logic Day.