Write a Blog >>
PLDI 2020
Mon 15 - Sat 20 June 2020
VenueOnline!
Room nameInfer
Floor0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Tue 16 Jun (GMT-07:00) Pacific Time (US & Canada) change

infer-2020-talks
04:30 - 05:00: Infer Practitioners 2020 - Session 0 at Infer
infer-2020-talks04:30 - 05:00
Day opening
infer-2020-talks
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer
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
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
infer-2020-talks07:00 - 07:45
Talk
infer-2020-talks07:45 - 08:30
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-talks08:30 - 09:00
Coffee break
infer-2020-talks
09:00 - 11:00: Infer Practitioners 2020 - Session 3 at Infer
Chair(s): Ezgi ÇiçekFacebook London
infer-2020-talks09:00 - 09:45
Talk
Jules VillardFacebook London
infer-2020-talks09:45 - 10:30
Live Q&A
Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London
infer-2020-talks10:30 - 11:00
Coffee break
infer-2020-talks
11:00 - 13:00: Infer Practitioners 2020 - Session 4 at Infer
Chair(s): Jules VillardFacebook London
infer-2020-talks11:00 - 11:45
Talk
infer-2020-talks11:45 - 12:30
Talk
infer-2020-talks12:30 - 13:00
Coffee break

This program is tentative and subject to change.

Tue 16 Jun (GMT-07:00) Pacific Time (US & Canada) change

This program is tentative and subject to change.