Write a Blog >>
HOPE 2017
Sun 3 Sep 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL3
Floor0
Room number
Capacity110
Additional informationThere is no additional information of this room available.
Program

Sun 3 Sep

hope-2017-talks
09:00 - 09:10: HOPE 2017 - Welcome at L3
hope-2017-talks150442200000009:00 - 09:10
Day opening
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
hope-2017-talks
10:30 - 11:30: HOPE 2017 - Modular Semantics at L3
hope-2017-talks150442740000010:30 - 11:00
Talk
File Attached
hope-2017-talks150442920000011:00 - 11:30
Talk
File Attached
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
hope-2017-talks150444180000014:30 - 15:00
Talk
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
hope-2017-talks150444720000016:00 - 16:30
Talk
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Pre-print

Thu 7 Sep

mlfamilyworkshop-2017-papers
09:00 - 09:05: - Welcome at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476760000009:00 - 09:05
Day opening
mlfamilyworkshop-2017-papers
09:05 - 10:00: - Invited talk at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476790000009:05 - 10:00
Talk
mlfamilyworkshop-2017-papers
10:30 - 11:45: - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Talk
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Talk
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Talk
mlfamilyworkshop-2017-papers
12:00 - 12:25: - Verification at L3
mlfamilyworkshop-2017-papers150477840000012:00 - 12:25
Talk
mlfamilyworkshop-2017-papers
14:00 - 15:15: - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk
mlfamilyworkshop-2017-papers
15:30 - 16:20: - Performance at L3
mlfamilyworkshop-2017-papers150479100000015:30 - 15:55
Talk
mlfamilyworkshop-2017-papers150479250000015:55 - 16:20
Talk
mlfamilyworkshop-2017-papers
16:50 - 17:40: - Effects at L3
mlfamilyworkshop-2017-papers150479580000016:50 - 17:15
Talk
mlfamilyworkshop-2017-papers150479730000017:15 - 17:40
Talk

Fri 8 Sep

ocaml-2017-talks
09:00 - 09:10: - Opening at L3
ocaml-2017-talks150485400000009:00 - 09:05
Day opening
ocaml-2017-talks
09:10 - 10:10: - Talk session 1 at L3
ocaml-2017-talks150485430000009:05 - 09:40
Talk
ocaml-2017-talks150485640000009:40 - 10:05
Talk
ocaml-2017-talks
10:30 - 11:30: - Talk session 2 at L3
ocaml-2017-talks150485940000010:30 - 10:50
Talk
Link to publication Pre-print
ocaml-2017-talks150486060000010:50 - 11:10
Talk
Link to publication Pre-print
ocaml-2017-talks150486180000011:10 - 11:30
Talk
ocaml-2017-talks
11:35 - 12:30: - Poster session at L3
ocaml-2017-talks150486330000011:35 - 11:45
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks
14:00 - 15:00: - Talk session 3 at L3
ocaml-2017-talks150487200000014:00 - 14:20
Talk
Link to publication
ocaml-2017-talks150487320000014:20 - 14:40
Talk
Link to publication
ocaml-2017-talks150487440000014:40 - 15:00
Talk
ocaml-2017-talks
15:30 - 16:30: - Talk session 4 at L3
ocaml-2017-talks150487740000015:30 - 15:50
Talk
Link to publication
ocaml-2017-talks150487860000015:50 - 16:10
Talk
Link to publication
ocaml-2017-talks150487980000016:10 - 16:30
Talk
ocaml-2017-talks
16:50 - 17:40: - Talk session 5 at L3
ocaml-2017-talks150488280000017:00 - 17:20
Talk
Link to publication
ocaml-2017-talks150488400000017:20 - 17:40
Talk

Sat 9 Sep

farm-2017-papers
09:00 - 09:10: - Introduction at L3
farm-2017-papers150494040000009:00 - 09:10
Day opening
farm-2017-papers
09:10 - 10:00: - Session 1: Papers/Demos at L3
Chair(s): Jean Bresson
farm-2017-papers150494100000009:10 - 09:40
Talk
farm-2017-papers150494280000009:40 - 10:00
Demonstration
Pre-print
farm-2017-papers
10:30 - 11:30: - Session 2: Papers/Demos at L3
Chair(s): Ivan Perez
farm-2017-papers150494580000010:30 - 10:50
Demonstration
Pre-print
farm-2017-papers150494700000010:50 - 11:10
Demonstration
Pre-print
farm-2017-papers150494820000011:10 - 11:40
Talk
farm-2017-papers
12:00 - 12:30: - Session 3: Paper at L3
Chair(s): Michael Sperber
farm-2017-papers150495120000012:00 - 12:30
Talk
farm-2017-papers
14:00 - 15:00: - Session 4: Tutorial at L3
Chair(s): Jean Bresson
farm-2017-papers150495840000014:00 - 15:00
Talk
farm-2017-papers
15:30 - 16:20: - Session 5: Demos at L3
Chair(s): David Janin
farm-2017-papers150496380000015:30 - 15:50
Demonstration
Pre-print
farm-2017-papers150496500000015:50 - 16:10
Demonstration
Pre-print
farm-2017-papers
16:50 - 17:40: - Session 6: Papers/Demos at L3
Chair(s): Henrik Nilsson
farm-2017-papers150496860000016:50 - 17:20
Talk
farm-2017-papers150497040000017:20 - 17:40
Demonstration
Pre-print

Sun 3 Sep 2017

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

HOPE 2017

Welcome
09:00 - 09:10

HOPE 2017

Rust
12:00 - 12:30

HOPE 2017

Effects
15:30 - 16:30

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L3
09:00 - 09:05
09:05 - 10:00
10:30 - 11:45
12:00 - 12:25
14:00 - 15:15
15:30 - 16:20
16:50 - 17:40

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L3
09:00 - 09:10
09:10 - 10:10
10:30 - 11:30
11:35 - 12:30
14:00 - 15:00
15:30 - 16:30
16:50 - 17:40

Sat 9 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L3
09:00 - 09:10
09:10 - 10:00
10:30 - 11:30
12:00 - 12:30
14:00 - 15:00
15:30 - 16:20
16:50 - 17:40