Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameHOPE
Floor0
Room InformationNo extra information available
Program

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

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

08:00 - 11:30
Keynote and Session 1HOPE at HOPE
08:00
60m
Keynote
Variants of call-by-push-value
HOPE
Paul Blain LevyUniversity of Birmingham
09:15
45m
Talk
Kripke open relations and operational game semantics
HOPE
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
10:00
45m
Talk
Merging coeffect production into effect handling
HOPE
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
10:45
45m
Talk
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
HOPE
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen
14:30 - 16:00
Session 3HOPE at HOPE
14:30
45m
Talk
Effectful Improvement Theory
HOPE
Martin CeresaUNR - CIFASIS - CONICET
15:15
45m
Talk
Alef: A bidirectional effect system for algebraic effects.
HOPE
Antonio LocascioUniversidad Nacional de Rosario

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:0030
HOPE