Events

SAFE and OIDCC

July 11 - July 11, 2025

SAFE and OIDCC

Presented by: Jonatan Männchen – CISO at Erlang Ecosystem Foundation Moderated by: Dali Khechine – SAFE team at Erlang Solutions

Link to talk here: https://www.erlang-solutions.com/webinars/safe-and-oidcc/

About this talk

In part one of our webinar series with Jonatan Männchen, he reflects on his experience working with the SAFE team at Erlang Solutions to audit a security-focused OpenID Connect client library. The discussion highlights the role of independent reviews in building trust around open source projects, particularly those handling sensitive identity and authentication tasks.

Jonatan shares how the SAFE audit process helped validate the library’s design, identify a subtle issue, and improve the implementation. He also offers insights into responsible vulnerability disclosure and the value of taking a proactive approach to security in the BEAM ecosystem. This session is especially relevant for developers working on authentication, open standards, or secure infrastructure within Erlang and Elixir.

What you’ll learn:

How SAFE supports secure development through expert audit and review How Jonatan addressed a potential vulnerability found during the audit Why the process led to a cleaner and more thoughtful design The role of collaboration in building safer systems in the BEAM ecosystem Curious how the BEAM community is making security smarter and more collaborative? Don’t miss the second and final part of our conversation with Jonatan Männchen in Security and the BEAM Ecosystem.

Learn More →

LiveDebugger

July 15 - July 15, 2025

This month, Thomas Millar will be giving us an in-depth look at LiveDebugger, a newly released tool by Software Mansion. Come learn about LiveDebugger and how to use it to solve common issues while developing LiveView applications.

This event will take place at Capital Factory on Brazos St in Austin from 6:30pm to 8:30pm. We will meet in the Padawan room on the 5th floor. Elevators will be unlocked, partial parking validation available ($8 max charge).

Follow Thomas: https://x.com/thmsmlr LiveDebugger: https://github.com/software-mansion/live-debugger

Learn More →

HomeKit + Nerves

July 23 - July 23, 2025

Join us on Wednesday, July 23 for or next Erlang/Elixir meetup. Thanks to Lunar for hosting!

Location: Lunar, downtown San Francisco (address coming later)

Agenda: 6:00 Doors open, food, and networking 6:40 Intro 6:45 First talk: HomeKit + Nerves, by Eric Rauer 7:15 Second talk: TBD 7:45 Wrap up, chat, maybe organize a trip to a bar or something

Call for speakers: Do you want to present at this meetup or a future meetup? Do you want to host a meetup in San Francisco or elsewhere in the SF Bay Area? Contact Erik Hanson and Eric Saxby at contact@reflective.dev .

Learn More →

Nerves Online Meetup July 2025

July 30 - July 30, 2025

Time to hang out, learn about Nerves, show off the project you’re working on, and get help. Social events are not recorded.

Would you like to give a presentation? Contact Alex with your topic to get on the schedule!

Download the Zoom client or browser extension before the event at: https://zoom.us/download

The Nerves Project defines a new way to build embedded systems using Elixir.

Learn More →

Vancouver Elixir & Erlang Meetup

July 30 - July 30, 2025

Attention Vancouver Elixir and BEAM enthusiasts! Join us for an evening of pizza, beer, and engaging technical talks.. Hosted on the rooftop of the downtown Hiive HQ!

Learn More →

ElixirConf US 2025

August 28 - August 29, 2025

ElixirConf US: Where Elixir developers unite to learn and innovate. Connect with core team members, discover the latest features, and stay ahead of ecosystem developments.

From beginners to experts, benefit from hands-on training and thought-provoking keynotes. Join our community and help shape Elixir’s future. Join us as we champion the growth and innovation of the Elixir community!

Learn More →

Erlang Workshop 2025

October 12 - October 12, 2025

General Information Welcome to the website of the Erlang 2025 workshop!

Series Erlang 2025 is the 24rd ACM SIGPLAN Erlang Workshop and is a satellite event of the 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025).

Scope The workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency to discuss techniques, technologies, languages, and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example, by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop welcomes contributions related to any and all systems like those mentioned above.

Proceedings As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library.

Goals The workshop aims to enable participants to learn about recent developments in techniques and tools, novel applications, draw lessons from users’ experiences, and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, actor model programming, distribution, concurrency, etc.

We are looking forward to your participation!

Learn More →

Func Prog Sweden April 2025 at Kivra

October 16 - October 16, 2025

Details Welcome to the third Func Prog Sweden MeetUp 2025 – Online

This MeetUp will be streamed live online on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden

The program starts at 18:00 / 6 PM:

Intro by Magnus Sedlacek Boost your command-line applications with potions! by Eric Torreborre Dependent types are everywhere! by Elisabeth Stenholm Post-show chat Boost your command-line applications with potions! How hard can it be to parse command-line arguments for an application? My initial, and foolish, answer was “not too hard”. Thanks to this misplaced over-confidence this talk presents potions, a command-line arguments parsing library written in Unison (https://unison-lang.org).

We will start with a tour of the library features: various type of options, support for environment variables, styled help, and more. We will then dive into the implementation of the library, where the main workhorse is (drum roll) Unison’s effect system called “abilities”.

We’ll see what can be checked at compile-time, what can’t, how abilities are layered to provide different DSLs (domain-specific languages), how they can be used to enclose state for mutually recursive functions, etc…

Finally, I will talk about some of the issues that slowed me down during the development, and why I feel that a full-fledge Unison IDE will be indispensable for any medium to large scale project.

Eric Torreborre I am a Rust/Elixir developer working at Ockam where we enable private systems to communicate without exposing their network to the Internet (ask me more if you’re interested!). I am also a functional programmer at heart, having professional experience with both Scala and Haskell which I enjoyed very much!

Blog: https://etorreborre.blog X.com: https://x.com/etorreborre Bluesky: https://bsky.app/profile/etorreborre.blog

Dependent types are everywhere! Have you ever heard of dependent types? Even if you have not, chances are you have most likely encountered some data structure that is actually dependently typed, without knowing it. In this talk I will explain what dependent types are and why they are everywhere, we just don’t notice them as we are so used to living without them. With dependent types we can express our structures more correctly, giving us more guarantees compile time. As a concrete example I will share my recent experience with writing a small questionnaire with a web frontend, all the parts of this construction that are actually dependently typed, and the differences between writing it with and without dependent types.

Elisabeth Stenholm Elisabeth is 32 years old, born in Uppsala and raised in Stockholm. She has a PhD in dependent type theory from the University of Bergen, and is currently working as a fullstack developer at Frende Forsikring — a Norwegian insurance company based in Bergen. In her workday, Elisabeth writes primarily in the functional languages F# and Elm. She is passionate about type theory and functional programming, and enjoys sharing her knowledge on these topics with others.

LinkedIn: https://www.linkedin.com/in/elisabethstenholm/

Post-show chat Once the live stream is over we will do a post show chat on the FPS Discord Server, where you can join and ask questions and meet more community members (this will no be recorded).

Invite for the FPS Discord Server: https://discord.gg/rMT6xRPwgZ

Video sponsor – Ada Beat https://adabeat.com

Merch If you want to spread functional programming and support the channel, buy something from the shop: https://funcprogsweden.myspreadshop.net/

#funcprogsweden

Learn More →