SE4FP Workshop

The accepted papers for the 1st SE4FP (Workshop on Software Engineering for Functional Programming) are announced — and many of them involve Elixir! 💜🧪📜

Check them out: se4fp.github.io/2025/#accept...

#ElixirLang #MyElixirStatus

JEMS3 screenshot

"ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang"
by Fernando Areias and me.
Accepted at @se4fp.github.io

Na segunda-feira pela manhã, teremos: LATAM School, CBSoft Ensino Médio, VEM, AIWARE Latam, WBots e SAST. Na segunda-feira à tarde, teremos: LATAM School, Trilha da Indústria, VEM, AIWARE Latam, MSSiS e SAST. Na terça-feira pela manhã, teremos: LATAM School, Trilha da Indústria, ISE, SRLM@70: Celebrando a Carreira de Silvio Meira e SE4FP e SBCARS. Na terça-feira à tarde, teremos: LATAM School, Trilha da Indústria, SE4Games, SRLM@70: Celebrando a Carreira de Silvio Meira, SEDT e SBCARS. Na quarta-feira, teremos: SBES, SBLP e ROSE Festival. Na quinta-feira, teremos: SBES, SBLP, CTIC e CTD. Na sexta-feira, teremos: SBES e SBLP .

A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...

@cbsoft.bsky.social 👆

🚀 We’re excited to announce @erlangsolutions.bsky.social as a Bronze sponsor of #SE4FP!

🌍 A global leader in technologies like #Erlang, #Elixir, and #RabbitMQ, Erlang Solutions helps build scalable, reliable, and fault-tolerant systems.

Thank you for supporting our community in Brazil!

We will have a Gleam talk at Esquenta @se4fp.github.io

📢 Last chance!
The SE4FP 2025 paper registration and submission deadline has been extended to July 11 (Friday)!
⚠️ This is the hard deadline – no further extensions!

🚀 JEMS: jems3.sbc.org.br/se4fp2025

#SE4FP2025 #CBSoft2025 #CFP #FunctionalProgramming #SoftwareEngineering

❗To attend SE4FP 2025, you must register for CBSoft 2025 (@cbsoft.bsky.social)!

Your registration gives access to the full program — including our workshop.
🔗 cbsoft.sbc.org.br/2025/inscric...

#SE4FP #CBSoft2025 #FunctionalProgramming #SoftwareEngineering

YouTube video by ArjanCodes Let’s Replace All For Loops With Map and Filter

This video is a great example of using functional programming features in a non-functional language. Elegant in some cases, questionable in others — but definitely insightful for those exploring multi-paradigm programming.

www.youtube.com/watch?v=ylzo...

👀Are you preparing your paper for #SE4FP?

Inscrição no Esquenta SE4FP O Esquenta SE4FP é uma série de palestras online gratuitas, em inglês ou em português, com temas relacionados à Engenharia de Software para Programação Funcional. Embora as linguagens de programação f...

Vinte pessoas já disseram que querem participar do Esquenta @se4fp.github.io, que começa nesta quarta com uma palestra sobre a linguagem de programação funcional e provador de teoremas Lean
forms.gle/8Tgkugj5HSQ6...

Inscrição no Esquenta SE4FP O Esquenta SE4FP é uma série de palestras online gratuitas, em inglês ou em português, com temas relacionados à Engenharia de Software para Programação Funcional. Embora as linguagens de programação f...

📩 Want to join this and future sessions?
Register here 👉 forms.gle/gXQyGLeMKmDH...
You'll get notified about all the Esquenta SE4FP activities!

Stay tuned — more exciting talks are coming soon.
#SE4FP #FunctionalProgramming #SoftwareEngineering #LeanLang

🎯 The first session is already scheduled!

📣 Sofia Rodrigues (Research Software Engineer at Lean FRO)
🗓️ June 25, 4PM (GMT-3)
💻 Topic: An introduction to the Lean programming language
🔗 lean-lang.org

🔥 We're excited to launch Esquenta SE4FP 2025!
A series of free online talks (in 🇧🇷Portuguese or 🇬🇧English) on topics related to Software Engineering for Functional Programming, leading up to the in-person SE4FP workshop at #CBSoft2025.

🧵👇

Deadline do SE4FP prorrogado! se4fp.github.io/2025/#call-f...

📢 Deadline extended!
SE4FP 2025 just got 2 extra weeks! 🎉

🗓️ New dates:
📌 Paper registration: July 4
📌 Paper submission: July 11

se4fp.github.io/2025/#call-f...

Time to polish your work and submit! 💻
#SE4FP #CBSoft #CallForPapers #SoftwareEngineering #FunctionalProgramming #CFP

Let’s go, everyone! The deadline is approaching, but there’s still time to submit!: se4fp.github.io/2025/
#ElixirLang #SoftwareEngineering #FunctionalProgramming #CBSoft2025

🚀 We're excited to welcome Dashbit (dashbit.co) as a Bronze Sponsor of SE4FP!

Co-founded by @josevalim.bsky.social, Dashbit drives Elixir adoption in production and invests heavily in open source projects like Elixir, Ecto, Nx, and Broadway. 💜

#SE4FP #ElixirLang #OpenSource

SE4FP e Gambiconf Elixir em Foco · Episode

Você já está preparando seu artigo da indústria, ou científico, para o @se4fp.github.io?
Vai ser no @cbsoft.bsky.social

#ElixirLang #Clojure

open.spotify.com/episode/3zyk...

👀 In case you missed it: @josevalim.bsky.social, @polvalente.social, and Carla Bezerra (UFC) are already confirmed for #SE4FP!

Who else will join the lineup? Stay tuned... 🔥
#ElixirLang #SoftwareEngineering #CBSoft2025 #FunctionalProgramming #MyElixirStatus

🔥 Hey everyone, we’ve got exciting news! Our first speakers and roundtable guests are announced on the #SE4FP website — and it's a stellar lineup! ⭐

Curious? Check them out and let us know what you think 👇
🔗 se4fp.github.io/2025/#speakers
#ElixirLang #SoftwareEngineering #FunctionalProgramming

YouTube video by Fronteiras da Engenharia de Software Extra: SE4FP e Gambiconf

Hey folks! Hope you don't mind if I switch to Portuguese for a moment. 🇧🇷🙂

🎙️ O podCast Fronteiras da ES publicou um vídeo sobre o SE4FP, explicando seus objetivos, chamada de trabalhos (call for papers) e formas de patrocínio!

Confira no link a seguir: www.youtube.com/watch?v=IxeU...

YouTube video by Fronteiras da Engenharia de Software Extra: SE4FP e Gambiconf

Extra: SE4FP e Gambiconf
www.youtube.com/watch?v=IxeU...

🔔 Exciting news from SE4FP! 🔔
Remember two weeks ago when I said our program committee was being formed? Well… it’s now official: the full committee is confirmed! ✅

👉 Check out the complete list of amazing reviewers on our website: se4fp.github.io/2025/#call-f...

#ProgramCommittee

No caso dos linguagens multi-paradigma, como é o seu caso com o Python, o importante é que o trabalho destaque os recursos funcionais utilizados, como eles impactam, etc..

@qfoiluks.bsky.social Depois dê uma olhada na Call for Papers do site do evento e os detalhes que colocamos lá. Estamos aceitando papers de pesquisa (max. 6 paginas) e papers de industria (max. 4 páginas). Os trabalhos podem ser em linguagens funcionais ou multi-paradigma (segue..)

Por ora não tenho como te dizer quais papers serão apresentados e quantos serão, pois tudo vai depender das submissões que recebermos, da qualidade delas e das revisões do nosso comitê de programa. Temos um Call for Papers aberto: se4fp.github.io/2025/#call-f... Você parece ter um trabalho promissor

Oi @qfoiluks.bsky.social, tudo bom? Nós já temos uma base da programação no site do evento. Basicamente teremos uma palestra de abertura com o @polvalente.social (o tema ainda é surpresa), uma seção de apresentação dos papers aceitos, coffee break e uma mesa redonda de encerramento. (segue o fio...)

💜

Se você tem interesse em Programação Funcional, acompanhe o perfil do @se4fp.github.io aqui.

Se você trabalha em uma empresa que usa Programação Funcional considere falar sobre o Workshop lá, eles aceitam trabalhos da Indústria também.

Oi @camilotk.ulivre.dev! Obrigado por lembrar da gente. Realmente estamos com uma proposta de estabelecer uma comunidade forte de pesquisadores e desenvolvedores focados em discutir o estado da arte das técnicas de engenharia de software aplicadas aos códigos desenvolvidos com linguagens funcionais