Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameInfer Practitioners live stream
Floor0
Additional information

Slack channel: #infer

YouTube live stream

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

infer-2020-talks
infer-2020-talks04:30 - 05:00
Day opening
infer-2020-talks
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer Practitioners live stream
Chair(s): Dulma ChurchillFacebook London
infer-2020-talks05:00 - 05:45
Talk
infer-2020-talks05:45 - 06:30
Talk
Ezgi ÇiçekFacebook London
infer-2020-talks06:30 - 07:00
Coffee break
infer-2020-talks
07:00 - 09:00: Infer Practitioners 2020 - Session 2 at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
infer-2020-talks07:00 - 07:45
Talk
Tomas FiedorVUT Brno, Dominik HarmimBrno University of Technology, Faculty of Information Technology, Vladimir MarcinBrno University of Technology, Faculty of Information Technology, Ondřej PavelaBrno University of Technology, Faculty of Information Technology, Adam RogalewiczBrno University of Technology, Faculty of Information Technology, Tomas VojnarBrno University of Technology
infer-2020-talks07:45 - 08:30
Talk
infer-2020-talks08:30 - 09:00
Coffee break
infer-2020-talks
09:00 - 11:00: Infer Practitioners 2020 - Session 3 at Infer Practitioners live stream
Chair(s): Ezgi ÇiçekFacebook London
infer-2020-talks09:00 - 09:45
Talk
Shao Kun DengMicrosoft Corporation, Matthew JinMicrosoft Corporation, Xiaoyu LiuMicrosoft Corporation, Xin ShiMicrosoft Corporation, Neel SundaresanMicrosoft Corporation
infer-2020-talks09:45 - 10:30
Talk
infer-2020-talks10:30 - 11:00
Live Q&A
Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London

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