Shonan Meeting 146 Schedule
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

View only
 
ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
Monday
2
1:30:00 PM1:00Gordon Plotkin
3
2:30:00 PM0:30Break
4
3:00:00 PM0:30Jeremy GibbonsJust Do It
5
3:30:00 PM0:30Tom Schrijvers
Laws for Nondet and State
6
4:00:00 PM0:30Danel Ahman
Make Equations Great Again
7
8
Tuesday
9
9:00:00 AM0:40Maciej Pirog
Abstracting Algebraic Effects
10
9:40:00 AM0:40Yizhou Zhang
Tunnelleing Effects
11
10:20:00 AM0:30BREAK
12
10:50:00 AM0:30Stephen DolanNominal Effects
13
11:20:00 AM0:40
Andreas Rossberg
WebAssembly
14
12:00:00 PM1:30:00LUNCH
15
1:30:00 PM2:00:00GROUPS
16
3:30:00 PM0:30:00BREAK
17
4:00:00 PM0:30Mauro JaskelioffConcurrency
18
4:30:00 PM0:30Daan Leijen
Ambient Parameters
19
20
Wednesday
21
9:00:00 AM0:45Nicolas WuScope
22
9:45:00 AM0:45
Shin-ya Katsumata
Graded Monads
23
10:30:00 AM0:10BREAK
24
10:40:00 AM0:10Photo
25
10:50:00 AM0:10BREAK
26
11:00:00 AM0:30Bob Atkey
Dijkstra Monads
27
11:30:00 AM0:30
Craig McLaughlin
Talking to Frank
28
12:00:00 PM1:30:00LUNCH
29
EXCURSION
30
31
Thursday
32
9:00:00 AM0:45Maciej Pirog
Generating Equational Theories
33
9:45:00 AM0:45
Atsushi Igarashi
Handling Polymorphic Algebraic Effects
34
10:30:00 AM0:30BREAK
35
11:00:00 AM1:00Gordon Plotkin
Handlers and Multihandlers
36
12:00:00 PM1:30:00LUNCH
37
1:30:00 PM0:30Danel AhmanCohandlers
38
2:00:00 PM0:30
Daniel Hillerstrom
Asymptotic Improvement through Control
39
2:30:00 PM3:30:00GROUPS
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...