Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Mon 15 Jun 2020 05:00 - 05:15 at REMS/DeepSpec live stream - REMS-DeepSpec Session 1
DeepSpecOverview (BeringerOverview.pdf)1.36MiB

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

rems-deepspec-2020
05:00 - 07:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 1 at REMS/DeepSpec live stream
rems-deepspec-202005:00 - 05:15
Talk
Peter SewellUniversity of Cambridge, Lennart BeringerPrinceton University
File Attached
rems-deepspec-202005:15 - 05:55
Talk
Joseph TassarottiBoston College
rems-deepspec-202006:05 - 06:45
Talk
Ji-Yong ShinYale University