@@ -23,7 +23,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
23
23
<tr ><th >Start</th ><th >End</th ><th >Title</th ><th >Speaker(s)</th ></tr >
24
24
25
25
<tr ><td > 8:00</td ><td >9:00</td ><td >Registration</td ><td ></td ></tr >
26
- <tr ><td > 9:00</td ><td >9:15</td ><td >Welcome & Introduction</td ><td ></td ></tr >
26
+ <tr ><td > 9:00</td ><td >9:15</td ><td >Welcome & Introduction</td ><td ><small >chair: Andreas Herrmann</ small >< /td ></tr >
27
27
28
28
<tr ><td > 9:15</td ><td >10:15</td ><td >GHC Status Report</td ><td >Andreas Klebinger<br >& Ben Gamari</td ></tr >
29
29
@@ -34,7 +34,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
34
34
</p>
35
35
</details ></td ><td >Vladislav Zavialov</td ></tr >
36
36
37
- <tr ><td >10:40</td ><td >10:50</td ><td >break</td ><td ></td ></tr >
37
+ <tr ><td >10:40</td ><td >10:50</td ><td >break</td ><td ><small >chair: Jaro Reinders</ small >< /td ></tr >
38
38
39
39
<tr ><td >10:50</td ><td >11:15</td ><td ><details >
40
40
<summary>The GHC Debugger</summary>
@@ -105,7 +105,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
105
105
</p>
106
106
</details ></td ><td >Hannes  ; Siebenhandl</td ></tr >
107
107
108
- <tr ><td >12:30</td ><td >14:00</td ><td >lunch</td ><td ></td ></tr >
108
+ <tr ><td >12:30</td ><td >14:00</td ><td >lunch</td ><td ><small >chair: Luite Stegeman</ small >< /td ></tr >
109
109
110
110
<tr ><td >14:00</td ><td >14:25</td ><td ><details >
111
111
<summary>Explicit Level Imports</summary>
@@ -148,7 +148,7 @@ finally reflect on future directions the extension makes possible.
148
148
</p>
149
149
</details ></td ><td >Ian-Woo Kim</td ></tr >
150
150
151
- <tr ><td >15:40</td ><td >16:10</td ><td >break</td ><td ></td ></tr >
151
+ <tr ><td >15:40</td ><td >16:10</td ><td >break</td ><td ><small >chair: Rodrigo Mesquita</ small >< /td ></tr >
152
152
153
153
<tr ><td >16:10</td ><td >16:35</td ><td ><details >
154
154
<summary>GHC's RISC-V Native Code Generation Backend</summary>
0 commit comments