Write a Blog >>
VenueJW Marriott New Orleans
Room nameOrleans
Floor3
Additional informationThere is no additional information of this room available.
Program

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

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

wgt-2020-papers
09:00 - 10:00: WGT - Gradual Criteria at Orleans
Chair(s): Amal AhmedNortheastern University, USA
wgt-2020-papers09:00 - 09:30
Talk
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Pre-print
wgt-2020-papers09:30 - 10:00
Talk
Koen JacobsKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Dominique DevrieseVrije Universiteit Brussel
Pre-print
wgt-2020-papers
10:30 - 12:30: WGT - Programming features at Orleans
Chair(s): Giuseppe CastagnaCNRS - Université de Paris, France
wgt-2020-papers10:30 - 11:00
Talk
Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile
Pre-print File Attached
wgt-2020-papers11:00 - 11:30
Talk
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Pre-print
wgt-2020-papers11:30 - 12:00
Talk
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Pre-print
wgt-2020-papers12:00 - 12:30
Talk
Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
Pre-print
wgt-2020-papers
14:00 - 15:05: WGT - Coercions at Orleans
Chair(s): Jeremy G. SiekIndiana University, USA
wgt-2020-papers14:00 - 14:32
Talk
Kuang-Chen LuIndiana University Bloomington, Jeremy G. SiekIndiana University, USA, Andre KuhlenschmidtIndiana University
Pre-print
wgt-2020-papers14:32 - 15:05
Talk
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto University
Pre-print
wgt-2020-papers
15:35 - 17:45: WGT - Analysis, verification, blame at Orleans
Chair(s): Niki VazouIMDEA Software Institute
wgt-2020-papers15:35 - 16:07
Talk
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Pre-print
wgt-2020-papers16:07 - 16:40
Talk
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderFacebook, Joshua SunshineCarnegie Mellon University
Pre-print
wgt-2020-papers16:40 - 16:50
Break
wgt-2020-papers16:50 - 17:20
Talk
Jakub ZalewskiUniversity of Edinburgh, James McKinnaUniversity of Edinburgh, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK
Pre-print
wgt-2020-papers17:20 - 17:45
Day closing

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orleans