From d258bbd162209be20d8a947efa67921f3b1d9980 Mon Sep 17 00:00:00 2001 From: JMCT Date: Tue, 27 Jan 2026 12:53:39 -0500 Subject: [PATCH] Update AmeriHac --- events/2026-amerihac.markdown | 32 +++++++++++++++++++------------- 1 file changed, 19 insertions(+), 13 deletions(-) diff --git a/events/2026-amerihac.markdown b/events/2026-amerihac.markdown index c1edb24c..89ce694b 100644 --- a/events/2026-amerihac.markdown +++ b/events/2026-amerihac.markdown @@ -15,35 +15,41 @@ The event will take place on Feb 7th and Feb 8th 2026 within Jane Street’s [Ne York premises](https://maps.app.goo.gl/eHweQfEGkRJiYkct6). Registration will be free, thanks to Jane Street’s generosity as hosts. -## Keynotes - -### [Ryan Scott](https://ryanglscott.github.io/) - -#### Title: Developing Tools for Formal Specification and Verification - -#### Abstract: - -Galois maintains and develops a broad suite of formal methods tools, which can specify the behavior of code, symbolically execute code in several imperative programming languages, formally verify that the behavior of code matches a spec, and more. A significant number of these tools are written in Haskell, including Cryptol, Crux, and SAW. I will describe the ecosystem of Haskell-based formal methods tools that Galois develops, lessons that we have learned in using varying styles of Haskell in different projects, and what challenges we have faced in using Haskell at this scale. +## Schedule +| Time | Feb 7 | Feb 8 | +| -------- | -------------- | -------------- | +| 9:00 AM | Breakfast | Breakfast | +| 10:00 AM | Opening and Keynote (Ryan Scott) | Keynote (Avi Press) | +| 11:00 AM | Hacking | Hacking | +| 12:30 PM | Lunch | Lunch | +| 1:30 PM | Afternoon talk (Can Huzmeli) | Afternoon Talk (Trevis Elser) | +| 2:00 PM | Hacking | Hacking | +| 5:00 PM | Closing | Closing | + +## Discord + +We have a Discord server for those that want to socialize/plan/coordinate before and during the event: [Discord link](https://discord.gg/KsvvzQqA). +Feel we'll make channels for specific projects upon request. ## Organization Much like ZuriHac, there will be dedicated space for specific projects (GHC, cabal, stack, etc.), with the full details being determined by registrant -interest. +interest. You can work on anything, and there's no competition! +We're just working on projects that are interesting to us and learning from each other. ## Summary: -* Who: Haskell Foundation and Jane Street␍ +* Who: Haskell Foundation and Jane Street * What: Weekend Haskell hackathon␍ * Where: Jane Street NYC␍ -We will update this page when keynote speakers have been finalized. The Haskell Foundation is excited to see you there! ## Registration -Register here: [https://forms.gle/3dZvn3VAvwa3JgJK8](https://forms.gle/3dZvn3VAvwa3JgJK8) +Registration is now closed.