
2nd Workshop on Software Engineering for Functional Programming (SE4FP) In 2026, SE4FP is co-located with the @congressocbsoft
São Paulo, SP, Brazil
Joined April 2025
- Tweets46
- Following209
- Followers36
- Likes45
Pinned Tweet
🚨 Big announcement! The Call for Papers for the 1st SE4FP is now live! We welcome submissions in two tracks:
🧪 Research Papers (5 pages + 1 for refs)
🏭 Industry Papers (3 pages)
📅 Deadlines in the image below.
🔗 More info: se4fp.github.io/2025/#call-f… #SE4FP2025 #CBSoft2025
SE4FP Workshop retweeted
🚨 Quer fazer uma lightning talk no SE4FP 2026?
Estamos recebendo propostas de palestras de até 10 minutos sobre Programação Funcional! 🚀
📅 08/09/2026, a partir das 14h
📍 IME-USP — São Paulo
⏰ Submissões até 19/08, às 10h
👉 Formulário: forms.gle/zHs3iSh5ibuE735UA
#ElixirLang
SE4FP Workshop retweeted
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
🔥 O Esquenta SE4FP está de volta!
No dia 08/06, às 14h, João Brunet (UFCG) apresenta uma pesquisa sobre code smells em Clojure, realizada com o Nubank. O trabalho replica e estende para Clojure o estudo sobre Elixir smells.
🎥 youtube.com/watch?v=I9-jRNyL…
#Clojure #ElixirLang
SE4FP Workshop retweeted
Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp_workshop bit.ly/SE4FP_Proceedings
SE4FP Workshop retweeted
Nosso episódio com Marco Túlio Valente @mtov (UFMG), autor de Engenharia de Software Moderna e Co-Chair do @se4fp no @congressocbsoft
@adolfont @Emilias_UTFPR
@elixiremfoco @elixir_utfpr
open.spotify.com/episode/0Bu…
SE4FP Workshop retweeted
Todas as palestras do Esquenta SE4FP @se4fp_workshop
youtube.com/playlist?list=PL…
SE4FP Workshop retweeted
Faltam 8 dias! cbsoft.sbc.org.br/2025/cbsof…
SE4FP Workshop retweeted
📢 The 1st Workshop on Software Engineering for Functional Programming (@se4fp_workshop) is around the corner!
A space for academia & industry to share best practices, tools, and research on functional programming systems.
🔗 se4fp.github.io/2025/
We’re thrilled to announce our third and final sponsor for #SE4FP2025: the Erlang Ecosystem Foundation (EEF)! - @TheErlef
Their support is essential to make our very first edition possible. Thank you, EEF!
#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 👇
👨💻 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
🚀 Uma palestra imperdível para quem quer repensar a forma de construir software!
#ProgramacaoFuncional #ElixirLang #FunctionalProgramming #SoftwareEngineering #DevCommunity
SE4FP Workshop retweeted
Preencha forms.gle/J88PVbxiSew1bKeo6 se quiser ser avisado(a) de futuras palestras do Esquenta @se4fp_workshop. A programação já está no site do SE4FP
cc @elixir_utfpr
Patrocínio: @dashbit @ErlangSolutions @TheErlef
🎙️ Our last roundtable guest is @joaobrunet, 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! 🚀
#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
🚀 We’re excited to announce @ErlangSolutions 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!














