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/
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
Pinned
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
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
Reposted by SE4FP Workshop
Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp.github.io bit.ly/SE4FP_Procee...
Anais do Workshop em Engenharia de Software para Programação Funcional (SE4FP)
bit.ly
October 8, 2025 at 5:55 PM
Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp.github.io bit.ly/SE4FP_Procee...
Reposted by SE4FP Workshop
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
- Dashbit
- Erlang Ecosystem Foundation @theerlef.bsky.social
- Erlang Solutions @erlangsolutions.bsky.social
September 22, 2025 at 7:50 PM
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
- Dashbit
- Erlang Ecosystem Foundation @theerlef.bsky.social
- Erlang Solutions @erlangsolutions.bsky.social
Reposted by SE4FP Workshop
Começa o @se4fp.github.io com Paulo Valente!
September 23, 2025 at 12:03 PM
Começa o @se4fp.github.io com Paulo Valente!
Reposted by SE4FP Workshop
Lívia Barbosa @liviaab.bsky.social da Remote ministrando palestra agora no @se4fp.github.io
September 23, 2025 at 2:13 PM
Lívia Barbosa @liviaab.bsky.social da Remote ministrando palestra agora no @se4fp.github.io
Reposted by SE4FP Workshop
Casa cheia na primeira edição do @se4fp.github.io !
September 23, 2025 at 12:29 PM
Casa cheia na primeira edição do @se4fp.github.io !
Reposted by SE4FP Workshop
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...
@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
September 20, 2025 at 3:26 PM
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...
@adolfont.github.io @redeemilias.bsky.social
open.spotify.com/episode/0BuG...
Reposted by SE4FP Workshop
Reposted by SE4FP Workshop
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
September 16, 2025 at 12:09 PM
As lives do Esquenta @se4fp.github.io têm mais de 2300 visualizações www.youtube.com/@fronteirase...
Reposted by SE4FP Workshop
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
#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
September 2, 2025 at 8:24 PM
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
#ElixirLang
@se4fp.github.io
@cbsoft.bsky.social
Reposted by SE4FP Workshop
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
www.elixiremfoco.com/episodios
Elixir Em Foco · Portal
www.elixiremfoco.com
September 9, 2025 at 2:33 PM
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
www.elixiremfoco.com/episodios
Reposted by SE4FP Workshop
📢 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/
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
September 10, 2025 at 5:03 PM
📢 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/
A space for academia & industry to share best practices, tools, and research on functional programming systems.
🔗 se4fp.github.io/2025/
Reposted by SE4FP Workshop
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
August 28, 2025 at 10:53 AM
Slides from Leandro Fernandes's F# talk yesterday at Esquenta @se4fp.github.io github.com/leandromoh/f...
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
Their support is essential to make our very first edition possible. Thank you, EEF, for believing in this initiative!
#Erlang #ElixirLang #FunctionalProgramming
August 29, 2025 at 3:35 AM
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
Their support is essential to make our very first edition possible. Thank you, EEF, for believing in this initiative!
#Erlang #ElixirLang #FunctionalProgramming
🔥 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 👇
🎤 Paulo Valente vai falar sobre:
👉 "Como a Programação Funcional Transforma o Design de Sistemas"
🧵 Segue o fio com os detalhes 👇
August 24, 2025 at 2:06 PM
🔥 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 👇
🎤 Paulo Valente vai falar sobre:
👉 "Como a Programação Funcional Transforma o Design de Sistemas"
🧵 Segue o fio com os detalhes 👇
Reposted by SE4FP Workshop
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
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
August 19, 2025 at 11:31 AM
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
A programação já está no site do @se4fp.github.io
Patrocínio:
@dashbit.bsky.social
@erlangsolutions.bsky.social
@theerlef.bsky.social
Reposted by SE4FP Workshop
Agora temos playlist das transmissões ao vivo do Esquenta @se4fp.github.io
www.youtube.com/watch?v=gaxL...
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
August 8, 2025 at 12:56 PM
Agora temos playlist das transmissões ao vivo do Esquenta @se4fp.github.io
www.youtube.com/watch?v=gaxL...
www.youtube.com/watch?v=gaxL...
Reposted by SE4FP Workshop
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
August 6, 2025 at 12:04 PM
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...
🎙️ 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
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
August 6, 2025 at 1:08 PM
🎙️ 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
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
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
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
August 2, 2025 at 1:26 AM
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
Check them out: se4fp.github.io/2025/#accept...
#ElixirLang #MyElixirStatus
Reposted by SE4FP Workshop
"ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang"
by Fernando Areias and me.
Accepted at @se4fp.github.io
by Fernando Areias and me.
Accepted at @se4fp.github.io
August 1, 2025 at 8:07 PM
"ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang"
by Fernando Areias and me.
Accepted at @se4fp.github.io
by Fernando Areias and me.
Accepted at @se4fp.github.io
Reposted by SE4FP Workshop
A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...
July 1, 2025 at 11:38 AM
A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...
🚀 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!
🌍 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!
July 28, 2025 at 7:34 PM
🚀 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!
🌍 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!
Reposted by SE4FP Workshop
We will have a Gleam talk at Esquenta @se4fp.github.io
Imagine a Gleam track where no Gleam talks overlap...
Speaking only for myself, as one of the program committee members, I consider this an invitation to all the Gleam folks from worlds near and far to come meet more of the BEAM community.
Come for the Gleam, stay for the BEAM :)
Speaking only for myself, as one of the program committee members, I consider this an invitation to all the Gleam folks from worlds near and far to come meet more of the BEAM community.
Come for the Gleam, stay for the BEAM :)
There's 10 Gleam talks at CodeBEAM Europe this year!!!! Ahh!!!
codebeameurope.com
codebeameurope.com
July 15, 2025 at 12:57 PM
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
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
July 4, 2025 at 6:11 PM
📢 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
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
Your registration gives access to the full program — including our workshop.
🔗 cbsoft.sbc.org.br/2025/inscric...
#SE4FP #CBSoft2025 #FunctionalProgramming #SoftwareEngineering
July 1, 2025 at 2:00 PM
❗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
Your registration gives access to the full program — including our workshop.
🔗 cbsoft.sbc.org.br/2025/inscric...
#SE4FP #CBSoft2025 #FunctionalProgramming #SoftwareEngineering