banner
se4fp.github.io
SE4FP Workshop
@se4fp.github.io
140 followers 690 following 41 posts
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
se4fp.github.io
Posts Media Videos Starter Packs
Pinned
se4fp.github.io
SE4FP Workshop @se4fp.github.io · May 2
So, what programming languages are accepted at SE4FP? 🧐

Spoiler: it’s not just functional languages!

Papers can use functional or multi-paradigm languages (like Python, JS, Java, Rust...) as long as they focus on functional features like immutability, pure functions, etc. 💡 #CBSoft2025 #SE4FP
4 12
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 16d
Entre os patrocinadores do @cbsoft.bsky.social, mais especificamente do @se4fp.github.io, estão três empresas/organizaçōes do ecossistema de Erlang:
- Dashbit
- Erlang Ecosystem Foundation @theerlef.bsky.social
- Erlang Solutions @erlangsolutions.bsky.social
Cartaz CBSoft
2 6
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 16d
Começa o @se4fp.github.io com Paulo Valente!
Paulo Valente
1 9
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 15d
Lívia Barbosa @liviaab.bsky.social da Remote ministrando palestra agora no @se4fp.github.io
Lívia
2 9
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 15d
Casa cheia na primeira edição do @se4fp.github.io !
Público em evento
1 5
Reposted by SE4FP Workshop
fronteirases.bsky.social
Fronteiras da Engenharia de Software @fronteirases.bsky.social · 18d
Nosso episódio com Marco Túlio Valente (UFMG), autor de Engenharia de Software Moderna e Co-Chair do @se4fp.github.io no @cbsoft.bsky.social

@adolfont.github.io @redeemilias.bsky.social
open.spotify.com/episode/0BuG...
Engenharia de Software Moderna, com Marco Tulio Valente (UFMG)
Spotify video
open.spotify.com
4 5
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 21d
Todas as palestras do Esquenta SE4FP @se4fp.github.io
youtube.com/playlist?lis...
Esquenta SE4FP ao vivo - YouTube
As a way to start engaging the audience ahead of our in-person gathering in September, we kicked off the SE4FP Warm-up on June 25, 2025. The Warm-up — Esquen...
youtube.com
1 1 3
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 23d
As lives do Esquenta @se4fp.github.io têm mais de 2300 visualizações www.youtube.com/@fronteirase...
Fronteiras da Engenharia de Software
Fronteiras da Engenharia de Software é um podcast para refletir sobre o presente e o futuro da engenharia de software. Publicamos episódios mensais em que entrevistamos pessoas pesquisadoras da área. ...
www.youtube.com
1 2 3
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · Sep 2
The recording of "From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP" is at www.youtube.com/watch?v=ZuA5...

#ElixirLang
@se4fp.github.io
@cbsoft.bsky.social
From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP
YouTube video by Fronteiras da Engenharia de Software
www.youtube.com
2 10
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · 29d
Os episódios recentes do Elixir em Foco que vieram de palestras do Esquenta @se4fp.github.io já estão em
www.elixiremfoco.com/episodios
Elixir Em Foco · Portal
www.elixiremfoco.com
1 2
Reposted by SE4FP Workshop
theerlef.bsky.social
Erlang Ecosystem Foundation @theerlef.bsky.social · 28d
📢 The 1st Workshop on Software Engineering for Functional Programming (@se4fp.github.io) is around the corner!

A space for academia & industry to share best practices, tools, and research on functional programming systems.

🔗 se4fp.github.io/2025/
SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming
SE4FP aims to bring together academics and industry professionals to share and discuss experiences, best practices, tools, and research on applying software engineering principles to systems developed...
se4fp.github.io
1 1
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · Aug 28
Slides from Leandro Fernandes's F# talk yesterday at Esquenta @se4fp.github.io github.com/leandromoh/f...
GitHub - leandromoh/fsharp-SE4FP2025
Contribute to leandromoh/fsharp-SE4FP2025 development by creating an account on GitHub.
github.com
1 1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 29
We’re thrilled to announce our third and final sponsor for #SE4FP2025: the Erlang Ecosystem Foundation (EEF)! -- @theerlef.bsky.social

Their support is essential to make our very first edition possible. Thank you, EEF, for believing in this initiative!

#Erlang #ElixirLang #FunctionalProgramming
1 1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
🚀 Uma palestra imperdível para quem quer repensar a forma de construir software!

#ProgramacaoFuncional #ElixirLang #FunctionalProgramming #SoftwareEngineering #DevCommunity
1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
👨‍💻 Quem é Paulo Valente?

- Engenheiro de Software Sênior especializado em Elixir
- Atuou na Stone e DockYard
- Mantenedor do ecossistema Nx (Numerical Elixir)
- Palestrante em eventos como ElixirConf, Code BEAM e LambdaConf
1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
Usando Elixir, ele explora como o pensamento funcional transforma:
➡️ Fluxo de dados
➡️ Gerenciamento de estado
➡️ Concorrência
➡️ Tratamento de erros

✨ Problemas complexos se tornam simples e elegantes.
1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
Na palestra, Paulo vai mostrar como os princípios da programação funcional — funções puras, imutabilidade e funções de ordem superior — oferecem uma abordagem totalmente diferente em comparação à OOP.
1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
💡 E se a forma como pensamos sobre dados, estado e comportamento pudesse mudar completamente a maneira como criamos sistemas de software?
1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 24
🔥 Temos novidade! O keynote de abertura já está confirmado.

🎤 Paulo Valente vai falar sobre:
👉 "Como a Programação Funcional Transforma o Design de Sistemas"

🧵 Segue o fio com os detalhes 👇
1 2 6
Reposted by SE4FP Workshop
redeemilias.bsky.social
Rede Emílias de Podcasts @redeemilias.bsky.social · Aug 19
Preencha forms.gle/J88PVbxiSew1... se quiser ser avisado(a) de futuras palestras do Esquenta SE4FP
A programação já está no site do @se4fp.github.io

Patrocínio:
@dashbit.bsky.social
@erlangsolutions.bsky.social
@theerlef.bsky.social
🇧🇷 Inscrição no Esquenta SE4FP -- 🇬🇧 Registration for the SE4FP Warm-up
SE4FP: https://se4fp.github.io/2025/ 🇧🇷 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 Funcio...
forms.gle
2 3
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · Aug 8
Agora temos playlist das transmissões ao vivo do Esquenta @se4fp.github.io
www.youtube.com/watch?v=gaxL...
Introdução a Lean, Sofia Rodrigues (Lean FRO) - Esquenta SE4FP
YouTube video by Fronteiras da Engenharia de Software
www.youtube.com
1 2
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · Aug 6
Hoje tem Esquenta @se4fp.github.io. Teremos, às 16h00, palestra com Nelkisa Matias sobre Clojure. Ela é Engenheira de Software no Nubank (provavelmente a empresa mais famosa no mundo a usar Clojure). Se quiser receber o link, inscreva-se em forms.gle/NoQw2XHuGs7c...
🇧🇷 Inscrição no Esquenta SE4FP -- 🇬🇧 Registration for the SE4FP Warm-up
SE4FP: https://se4fp.github.io/2025/ 🇧🇷 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 Funcio...
forms.gle
2 2
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 6
🎙️ Our last roundtable guest is João Brunet, professor & researcher at UFCG! 👨‍🏫
He works with NuBank, IBM & the Federal Police to understand how devs work and support them through SE research. 🔍💻
He'll share insights from his work with Clojure at NuBank — and visions for the future! 🚀
#CBSoft #Clojure
1 1
se4fp.github.io
SE4FP Workshop @se4fp.github.io · Aug 2
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
SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming
SE4FP aims to bring together academics and industry professionals to share and discuss experiences, best practices, tools, and research on applying software engineering principles to systems developed...
se4fp.github.io
1 3
Reposted by SE4FP Workshop
adolfont.github.io
Adolfo Neto @adolfont.github.io · Aug 1
"ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang"
by Fernando Areias and me.
Accepted at @se4fp.github.io
JEMS3 screenshot
1 4
Reposted by SE4FP Workshop
cbsoft.bsky.social
CBSoft 2025 @cbsoft.bsky.social · Jul 1
A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...
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 .
2 4