Event Schedule
/Code Your Day with Lambda Laughs and Interactive Workshops
/Code Your Day with Lambda Laughs and Interactive Workshops
All day long workshops, not included in the ticket price
 | Ken Iverson Room | John McCarthy Room | Alonzo Church Room |
|---|---|---|---|
| |  Zainab AliFunctional Programming Trainer Functional stream processing workshop: Supercharge your streams Intermediate Stream Processing Scala fs2 |  Alejandro Serrano MenaResearcher @ Kotlin Language Evolution, JetBrains Implement your own Type Checker Everybody Types compilers |  Juan Manuel Serrano HidalgoFounder at Habla Computing & Associate Professor at URJC Embedding of Domain-Specific Languages in Scala Intermediate Embedded DSLs Scala 3 Tagless-Final Jq fs2 |
Workshops included with the general ticket, and Scala Bridge free for everyone. Both require prior registration.
| Ken Iverson Room | John McCarthy Room | Alonzo Church Room |
|---|---|---|---|
| | Open Doors & Breakfast! 🥐Kickstar your day with caffeine & a los buenos good morning! | ||
| |  Conor HoekstraResearch Scientist at NVIDIA Tacit Programming in BQN, Kap, Uiua and APL Everybody tacit programming bqn kap uiua apl point free programming array programming |   Juanjo Madrigal & Jorge MayoralAgda and Lean: functional programming meets proving Everybody Agda Lean Proof Assistant Dependent Type System Software Correctness |  Zainab Ali & Noel WelshScala Bridge Everybody Scala Functional Programming |
| |  Jesús López-GonzálezVP of Research at Habla Computing Where Functional Programming Meets Array Thinking Everybody kdb+q array programmingdata analysis HPC | ||
| | Lunch Break 🍏Refuel & Recursion! | ||
| |  Alcino CunhaAssociate Professor at Universidade do Minho Structural Design with Alloy Intermediate Formal methods Alloy Structural design Testing |   Alejandro Serrano Mena & Raúl Raja Martínez & Simon VergauwenArrow & Functional Kotlin Open Space Everybody Kotlin Arrow | Zainab Ali & Noel WelshScala Bridge Everybody Scala Functional Programming |
| |  Chris FordTechnical Director at Thoughtworks Thursday Opening Keynote: The Butcherbird Combinator Everybody FP and the Arts Clojure Abstractions | ||
All day talks
| Pisha Hall | Carajote Hall | |
|---|---|---|---|
| | Open Doors & Breakfast! 🥐Fuel Up with Caffeine & Conversations! | ||
| |  José ValimCreator of the Elixir programming language Livebook: functional notebooks for AI and Web with Elixir Everybody AI Elixir Erlang VM Functional Programming | ||
| | Coffee & Breakfast ☕🥐The best time to talk with speakers & attendees | ||
| |  Delia KesnerProfessor at Université Paris Cité Capturing Properties of Call-by-Name and Call-by-Value in a Subsuming Framework Intermediate Logic Proof Theory Lambda Calculus |  Kim MorganScala Developer Cracking the Code: Translating Japanese Numbers with Functional Programming Everybody Rewrite Systems Functional Programming Scala | |
| | Alejandro Serrano MenaResearcher @ Kotlin Language Evolution, JetBrains Actions as data, continued Everybody Data Types Kotlin DLS |  Stephen TaylorArray Language Champion Hooray for arrays Everybody Array Languages Iverson Notation APLJ | |
| |  Johanna OderskyJunior Scala Developer Scala Sampler for Functional Soundscapes Everybody Scala Music Composition Sound design |  Abby SasselHaskell Engineer at Artificial Resilient REST APIs: The case for Parallel Change Everybody Parallel change Haskell APIs | |
| | Alcino CunhaAssociate Professor at Universidade do Minho Designing software with complex configurations Intermediate Formal Methods Software Design Alloy |  Kamila SzewczykStudent at Saarland University Concrete Functional Programming Intermediate Array Languages Data Structures Prototyping | |
| | Lunch Break 🍏Refuel & Recursion! | ||
| |  Will ByrdScientist at the University of Alabama at Birmingham An Imperishable Wonderland of Infinite Fun Everybody Relational Programming Functional Programming |  Stine KrombergCEO of Dyalog Ltd Selling speciality tools in a world where people just want solutions Everybody Leadership | |
| | Conor HoekstraResearch Scientist at NVIDIA The Power of Function Composition Everybody Function Composition Combinators | Noel WelshDeveloper at Inner Product and Underscore Rethinking Effects with Effect Systems Intermediate Effects Systems | |
| |  Niki VazouResearch Associate Professor at IMDEA & Haskell Enthusiast Liquid Haskell: Verification with Refinement Types Intermediate Haskell Verification |  Guillermo del Río PárragaDevOps Staff Engineer and Team Lead at Xebia Deterministic security for GenAI agents Everybody GenAI | |
| |  Vitaly BragilevskyDeveloper Advocate at JetBrains Functional effects in perspective Intermediate Effects Functional Programming |  Monica McGuiganJunior Scala developer at JP Morgan Roc-Solid Intuition for JSON Decoding Everybody Roc Data in FP JSON | |
| |  Robert VirdingPrincipal Language Expert at Erlang Solutions Closing Keynote: Concurrency Oriented Software Everybody Concurrency Functional Programming | ||
| | Farewell 👋¡Hasta la vista, Monads! | ||
| | Closing Party 🎉A FUNctional Fest w/Side Effects | ||