FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL2
Floor0
Room number
Capacity210
Additional informationThere is no additional information of this room available.
Program

Sun 3 Sep

tyde-2017-papers
09:00 - 09:05: TyDe 2017 - Welcome at L2
tyde-2017-papers150442200000009:00 - 09:05
Day opening
tyde-2017-papers
09:05 - 10:00: TyDe 2017 - Invited talk at L2
tyde-2017-papers150442230000009:05 - 10:00
Talk
tyde-2017-papers
10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers150442740000010:30 - 11:00
Talk
tyde-2017-papers150442920000011:00 - 11:30
Talk
tyde-2017-papers
12:00 - 12:25: TyDe 2017 - Extended abstracts 1 at L2
tyde-2017-papers150443280000012:00 - 12:25
Talk
tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
tyde-2017-papers150444690000015:55 - 16:20
Talk
tyde-2017-papers
16:50 - 17:40: TyDe 2017 - Extended abstracts 3 at L2
tyde-2017-papers150445020000016:50 - 17:15
Talk
tyde-2017-papers150445170000017:15 - 17:40
Talk

Mon 4 Sep

fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010:30 - 10:45
Other
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk

Tue 5 Sep

fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-2017150460020000010:30 - 11:30
Talk
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-2017150460380000011:30 - 12:00
Talk
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 8 at L2
fscd-2017150461640000015:00 - 15:30
Talk
fscd-2017150461820000015:30 - 16:00
Talk

Wed 6 Sep

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
fscd-2017150468840000011:00 - 11:30
Talk
fscd-2017150469020000011:30 - 12:00
Talk
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
fscd-2017150469740000013:30 - 14:00
Talk
fscd-2017150469920000014:00 - 14:30
Talk
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
fscd-2017150470460000015:30 - 16:00
Talk
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting

Thu 7 Sep

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 15 at L2
fscd-2017150476760000009:00 - 10:00
Talk
fscd-2017
10:30 - 11:59: FSCD 2017 - Session 16 at L2
fscd-2017150477300000010:30 - 11:00
Talk
fscd-2017150477480000011:00 - 11:30
Talk
fscd-2017150477660000011:30 - 11:59
Talk

Sat 9 Sep

cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks150494100000009:10 - 09:35
Talk
cufp-2017-talks150494250000009:35 - 10:00
Talk
cufp-2017-talks
10:30 - 11:20: CUFP 2017 - CUFP Talks 2 at L2
cufp-2017-talks150494580000010:30 - 10:55
Talk
cufp-2017-talks150494730000010:55 - 11:20
Talk
cufp-2017-talks
12:00 - 12:25: CUFP 2017 - CUFP Talks 3 at L2
cufp-2017-talks150495120000012:00 - 12:25
Talk
cufp-2017-talks
14:00 - 14:50: CUFP 2017 - CUFP Talks 4 at L2
cufp-2017-talks150495840000014:00 - 14:25
Talk
cufp-2017-talks150495990000014:25 - 14:50
Talk
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Talks 5 at L2
cufp-2017-talks150496380000015:30 - 15:55
Talk
cufp-2017-talks150496530000015:55 - 16:20
Talk
cufp-2017-talks
16:50 - 17:40: CUFP 2017 - CUFP Talks 6 at L2
cufp-2017-talks150496860000016:50 - 17:15
Talk
cufp-2017-talks150497010000017:15 - 17:40
Talk

Sun 3 Sep 2017

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

TyDe 2017

Welcome
09:00 - 09:05

Mon 4 Sep 2017

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

FSCD 2017

Welcome
10:30 - 10:45

FSCD 2017

Session 1
10:45 - 11:45

FSCD 2017

Session 2
13:00 - 14:30

FSCD 2017

Session 3
15:00 - 16:00

FSCD 2017

Session 4
16:40 - 18:10

Tue 5 Sep 2017

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

FSCD 2017

Session 5
10:30 - 11:30

FSCD 2017

Session 6
11:30 - 12:00

FSCD 2017

Session 7
13:00 - 14:30

FSCD 2017

Session 8
15:00 - 16:00

FSCD 2017

Session 9
16:40 - 18:10

Wed 6 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

FSCD 2017

Session 10
09:00 - 10:00

FSCD 2017

Session 11
10:30 - 12:00

FSCD 2017

Session 12
13:00 - 14:30

FSCD 2017

Session 13
15:00 - 16:00

FSCD 2017

Session 14
16:40 - 17:10

Thu 7 Sep 2017

Room9:003010:003011:0030
L2

FSCD 2017

Session 15
09:00 - 10:00

FSCD 2017

Session 16
10:30 - 11:59

Sat 9 Sep 2017

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

CUFP 2017

09:00 - 09:10