Foundations of Programming and Security

Presented Virtually June 14-26, 2021

Tezos
Amazon Web Services
ACM Sigplan
Jane Street
Microsoft

2021 Schedule

Date First Lecture Second Lecture Tutorial Third Lecture
MON 6/14 Nikhil Swamy Patricia Johann Robert Harper
TUE 6/15 Nikhil Swamy Patricia Johann Robert Harper
WED 6/16 Nikhil Swamy Patricia Johann Robert Harper
THR 6/17 Nikhil Swamy Patricia Johann Robert Harper
FRI 6/18 Alejandro Russo Tarmo Uustalu Justin Hsu
SAT 6/19 Alejandro Russo Tarmo Uustalu Robert Harper Justin Hsu
SUN 6/20  
MON 6/21 Alejandro Russo Tarmo Uustalu Justin Hsu
TUE 6/22 Alejandro Russo Tarmo Uustalu Justin Hsu
WED 6/23 Alexandra Silva Ugo Dal Lago Stephanie Balzer
THR 6/24 Alexandra Silva Ugo Dal Lago Stephanie Balzer
FRI 6/25 Alexandra Silva Ugo Dal Lago Chen Stephanie Balzer
SAT 6/26 Alexandra Silva Ugo Dal Lago Chen Stephanie Balzer

Times

Lectures will be given on Zoom and then the recording will be posted on the Topics page. Participants can interact with the speaker during the zoom lecture, or view the lecture recording any time.

Zoom Session US West Coast
(UTC-7)
Opening Reception 11:00AM
First Lecture 9:00AM-10:20AM
Second Lecture 10:40AM-NOON
Tutorial 12:20pm-1:50PM
Third Lecture 2:00PM-3:30PM