/Code Your Day with Lambda Laughs and Interactive Workshops
All-day 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! 🥐Kickstart 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ález & Christian Aberturas LopezWhere 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 |
Pisha Hall | |||
| ![]() Chris FordTechnical Director at Thoughtworks Thursday Opening Keynote: The Butcherbird Combinator Everybody FP and the Arts Clojure Abstractions | ||
| Hidden Gems💎: A Surprise SessionAn inspirational talk by Pepe el Calamar Campos |
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 APL Point-Free Programming | |
| ![]() 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 at Medussa Bar. C/ Manuel Rancés, 1. |