SE4FP Workshop's Avatar

SE4FP Workshop

@se4fp.github.io

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/

137
Followers
691
Following
42
Posts
10.04.2025
Joined
Posts Following

Latest posts by SE4FP Workshop @se4fp.github.io

Eu diria que temos uma chance BEM grande de termos uma segunda edição já em 2026! 🔥

14.10.2025 22:58 👍 2 🔁 1 💬 0 📌 0
Anais do Workshop em Engenharia de Software para Programação Funcional (SE4FP)

Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp.github.io bit.ly/SE4FP_Procee...

08.10.2025 17:55 👍 2 🔁 1 💬 0 📌 0
Cartaz CBSoft

Cartaz CBSoft

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

22.09.2025 19:50 👍 6 🔁 2 💬 0 📌 0
Paulo Valente

Paulo Valente

Começa o @se4fp.github.io com Paulo Valente!

23.09.2025 12:03 👍 9 🔁 1 💬 0 📌 0
Lívia

Lívia

Lívia Barbosa @liviaab.bsky.social da Remote ministrando palestra agora no @se4fp.github.io

23.09.2025 14:13 👍 9 🔁 2 💬 0 📌 0
Público em evento

Público em evento

Casa cheia na primeira edição do @se4fp.github.io !

23.09.2025 12:29 👍 5 🔁 1 💬 0 📌 0
Preview
Engenharia de Software Moderna, com Marco Tulio Valente (UFMG) Spotify video

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...

20.09.2025 15:26 👍 5 🔁 4 💬 0 📌 2
Preview
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...

Todas as palestras do Esquenta SE4FP @se4fp.github.io
youtube.com/playlist?lis...

17.09.2025 22:41 👍 3 🔁 1 💬 1 📌 0
Preview
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. ...

As lives do Esquenta @se4fp.github.io têm mais de 2300 visualizações www.youtube.com/@fronteirase...

16.09.2025 12:09 👍 3 🔁 2 💬 1 📌 0
From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP
From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP YouTube video by Fronteiras da Engenharia de Software

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

02.09.2025 20:24 👍 9 🔁 2 💬 0 📌 0
Elixir Em Foco · Portal

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

09.09.2025 14:33 👍 2 🔁 1 💬 0 📌 0
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...

📢 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/

10.09.2025 17:03 👍 1 🔁 1 💬 0 📌 0
Preview
GitHub - leandromoh/fsharp-SE4FP2025 Contribute to leandromoh/fsharp-SE4FP2025 development by creating an account on GitHub.

Slides from Leandro Fernandes's F# talk yesterday at Esquenta @se4fp.github.io github.com/leandromoh/f...

28.08.2025 10:53 👍 1 🔁 1 💬 0 📌 0
Post image

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

29.08.2025 03:35 👍 1 🔁 1 💬 0 📌 0

🚀 Uma palestra imperdível para quem quer repensar a forma de construir software!

#ProgramacaoFuncional #ElixirLang #FunctionalProgramming #SoftwareEngineering #DevCommunity

24.08.2025 14:06 👍 1 🔁 0 💬 0 📌 0

👨‍💻 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

24.08.2025 14:06 👍 0 🔁 0 💬 1 📌 0

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.

24.08.2025 14:06 👍 0 🔁 0 💬 1 📌 0

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.

24.08.2025 14:06 👍 0 🔁 0 💬 1 📌 0

💡 E se a forma como pensamos sobre dados, estado e comportamento pudesse mudar completamente a maneira como criamos sistemas de software?

24.08.2025 14:06 👍 0 🔁 0 💬 1 📌 0
Post image

🔥 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 👇

24.08.2025 14:06 👍 6 🔁 2 💬 1 📌 1
Preview
🇧🇷 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...

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

19.08.2025 11:31 👍 3 🔁 2 💬 0 📌 0
Introdução a Lean, Sofia Rodrigues (Lean FRO) - Esquenta SE4FP
Introdução a Lean, Sofia Rodrigues (Lean FRO) - Esquenta SE4FP YouTube video by Fronteiras da Engenharia de Software

Agora temos playlist das transmissões ao vivo do Esquenta @se4fp.github.io
www.youtube.com/watch?v=gaxL...

08.08.2025 12:56 👍 2 🔁 1 💬 0 📌 0
Preview
🇧🇷 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...

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...

06.08.2025 12:04 👍 2 🔁 2 💬 0 📌 0
Post image

🎙️ 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

06.08.2025 13:07 👍 1 🔁 1 💬 0 📌 0
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...

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

02.08.2025 01:26 👍 3 🔁 1 💬 0 📌 0
JEMS3 screenshot

JEMS3 screenshot

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

01.08.2025 20:07 👍 4 🔁 1 💬 0 📌 1
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
.

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/...

01.07.2025 11:38 👍 4 🔁 2 💬 0 📌 0

@cbsoft.bsky.social 👆

28.07.2025 19:35 👍 1 🔁 0 💬 0 📌 0
Post image

🚀 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!

28.07.2025 19:34 👍 2 🔁 3 💬 2 📌 0

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

15.07.2025 12:57 👍 4 🔁 1 💬 0 📌 0