diff --git a/events/2025-haskell-implementors-workshop.markdown b/events/2025-haskell-implementors-workshop.markdown
index 8b21da07..6df33c57 100644
--- a/events/2025-haskell-implementors-workshop.markdown
+++ b/events/2025-haskell-implementors-workshop.markdown
@@ -23,7 +23,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
Start | End | Title | Speaker(s) |
8:00 | 9:00 | Registration | |
- 9:00 | 9:15 | Welcome & Introduction | |
+ 9:00 | 9:15 | Welcome & Introduction | chair: Andreas Herrmann |
9:15 | 10:15 | GHC Status Report | Andreas Klebinger & Ben Gamari |
@@ -34,7 +34,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
Vladislav Zavialov |
- 10:40 | 10:50 | break | |
+ 10:40 | 10:50 | break | chair: Jaro Reinders |
10:50 | 11:15 |
The GHC Debugger
@@ -105,7 +105,7 @@ All talks and presentations will be held in an air-conditioned classroom that wi
| Hannes Siebenhandl |
- 12:30 | 14:00 | lunch | |
+ 12:30 | 14:00 | lunch | chair: Luite Stegeman |
14:00 | 14:25 |
Explicit Level Imports
@@ -148,7 +148,7 @@ finally reflect on future directions the extension makes possible.
| Ian-Woo Kim |
- 15:40 | 16:10 | break | |
+ 15:40 | 16:10 | break | chair: Rodrigo Mesquita |
16:10 | 16:35 |
GHC's RISC-V Native Code Generation Backend
@@ -186,6 +186,8 @@ finally reflect on future directions the extension makes possible.
17:50 | 18:00 | closing | |
+Please submit topics for lightning talks using [this form](https://forms.gle/tbJHf2wzWqHKQtZW7).
+
### In-Person Attendance
Please sign up [on Eventbrite](https://www.eventbrite.com/e/2025-workshops-at-zurihac-tickets-1247256801669?aff=oddtdtcreator). Registrations for both the Haskell Ecosystem Workshop (HEW) and Haskell Implementors' Workshop (HIW) are managed using the same ticketing system. **Please make sure to include a Haskell Implementors' Workshop ticket in your booking.**
|