Foundations of Programming and Security

Presented Virtually June 14-26, 2021

Jane Street
ACM Sigplan
Microsoft
Tezos
Amazon Web Services

2021 Schedule

Date First Lecture Second Lecture 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 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 Stephanie Balzer
SAT 6/26 Alexandra Silva Ugo Dal Lago 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.

First Lecture Western Europe (UTC+1) US East Coast(UTC-4) US West Coast(UTC-7) China(UTC+8) India(UTC+5:30)
First Lecture 5:00PM-6:20PM NOON-1:20PM 9:00AM-10:20AM MIDNIGHT-1:20AM (the following day) 9:30PM-10:50PM
Second Lecture 6:40PM-8:00PM 1:40PM-3:00PM 10:40AM-NOON 1:40AM-3:00AM (the following day) 11:10PM-12:30AM (the following day)
Third Lecture 10:00PM-11:30PM 5:00PM-6:30PM 2:00PM-3:30PM 5:00AM-6:30AM (the following day) 2:30AM-4:00AM (the following day)
For example, if you attend Dalhousie University in Nova Scotia, your timezone is UTC-3, which is an hour earlier than the time listed for the East Coast of the US. If you attend the Australian National University in Canberra, your timezone is UTC+10, which is two hours earlier than the time listed for China. If you attend University of Wrocław in Poland, your timezone is UTC+3 which is two hours earlier than the time listed for Western Europe. Because of the International Date Line, OPLSS begins Tuesday, June 15 in China and Australia.