SE4FP Workshop

2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @congressocbsoft

[SE4FP Workshop @se4fp_workshop]

🚨 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: https://t.co/JB9Nq3cKi6 #SE4FP2025 #CBSoft2025

[José Valim @josevalim]

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.

[SE4FP Workshop @se4fp_workshop]

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

🎥 https://t.co/5QcSZlHjxI

#Clojure #ElixirLang

[Adolfo Neto in on BlueSky and on Mastodon @adolfont]

Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp_workshop https://t.co/C5aooyN6iw

[Fronteiras da Engenharia de Software @FronteirasES]

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
https://t.co/ASgnexr0Dk

[Adolfo Neto in on BlueSky and on Mastodon @adolfont]

Todas as palestras do Esquenta SE4FP @se4fp_workshop
https://t.co/JSf5qhHg3L

[CBSoft 2026 @congressocbsoft]

Faltam 8 dias! https://t.co/p0yEuSfeQg

[Erlang Ecosystem Foundation @TheErlef]

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

🔗 https://t.co/ZEJYMlAnlJ

[SE4FP Workshop @se4fp_workshop]

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

[SE4FP Workshop @se4fp_workshop]

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

#ProgramacaoFuncional #ElixirLang #FunctionalProgramming #SoftwareEngineering #DevCommunity

[SE4FP Workshop @se4fp_workshop]

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

[SE4FP Workshop @se4fp_workshop]

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

[Elixir em Foco @elixiremfoco]

Preencha https://t.co/CxNYptx7YB 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

[SE4FP Workshop @se4fp_workshop]

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

[SE4FP Workshop @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: https://t.co/0Yn1xkQZzX

#ElixirLang #MyElixirStatus

[SE4FP Workshop @se4fp_workshop]

@congressocbsoft ☝️

[SE4FP Workshop @se4fp_workshop]

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

[SE4FP Workshop @se4fp_workshop]

📢 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: https://t.co/KZHGdGwXaK

#SE4FP2025 #CBSoft2025 #CFP #FunctionalProgramming #SoftwareEngineering