SE4FP Workshop

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

🚨 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/zHs3iSh5ibuE... #ElixirLang

Hoje às 18h00 (horário de Brasília, UTC-3) começa o Esquenta @se4fp.github.io, parte da divulgação do SE4FP e do @cbsoft.bsky.social Além dos Paradigmas de Programação, Luciano Ramalho @ramalho.org (Esquenta SE4FP 2026) Link: youtube.com/live/PIQhsBb...

Do you know some company that would be interested in sponsoring @se4fp.github.io? se4fp.github.io/2026/#sponsors

Sobre a manutenção de testes de grande escala em Elixir, Lívia Almeida Barbosa (Remote) #SE4FP 2025 @se4fp.github.io www.youtube.com/watch?v=CrIW...

Coloque na agenda! Na próxima segunda, 08/06 14h00, teremos João Brunet falando sobre pesquisa em engenharia de software para programação funcional no Esquenta SE4FP @se4fp.github.io se4fp.github.io/2026/#esquenta github.com/joaoarthurbm sigaa.ufcg.edu.br/sigaa/public...

Esquenta SE4FP: Entendendo, Detectando e Refatorando Code Smells em Clojure, João Brunet (UFCG) 08/06 14h00 ao vivo www.youtube.com/watch?v=I9-j... @se4fp.github.io

🔥 O Esquenta SE4FP está de volta! 📚 08/06, 14h: João Arthur Brunet (UFCG) apresenta "Entendendo, Detectando e Refatorando Code Smells em Clojure". Pesquisa com o Nubank que replica e estende para Clojure o trabalho sobre code smells em Elixir. www.youtube.com/watch?v=I9-j... #Clojure #CodeSmells

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...

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

❗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

This video is a great example of using functional programming features in a non-functional language. Elegant in some cases, questionable in others — but definitely insightful for those exploring multi-paradigm programming. www.youtube.com/watch?v=ylzo... 👀Are you preparing your paper for #SE4FP?

Vinte pessoas já disseram que querem participar do Esquenta @se4fp.github.io, que começa nesta quarta com uma palestra sobre a linguagem de programação funcional e provador de teoremas Lean forms.gle/8Tgkugj5HSQ6...

Deadline do SE4FP prorrogado! se4fp.github.io/2025/#call-f...

📢 Deadline extended! SE4FP 2025 just got 2 extra weeks! 🎉 🗓️ New dates: 📌 Paper registration: July 4 📌 Paper submission: July 11 se4fp.github.io/2025/#call-f... Time to polish your work and submit! 💻 #SE4FP #CBSoft #CallForPapers #SoftwareEngineering #FunctionalProgramming #CFP

Let’s go, everyone! The deadline is approaching, but there’s still time to submit!: se4fp.github.io/2025/ #ElixirLang #SoftwareEngineering #FunctionalProgramming #CBSoft2025

🚀 We're excited to welcome Dashbit (dashbit.co) as a Bronze Sponsor of SE4FP! Co-founded by @josevalim.bsky.social, Dashbit drives Elixir adoption in production and invests heavily in open source projects like Elixir, Ecto, Nx, and Broadway. 💜 #SE4FP #ElixirLang #OpenSource

Você já está preparando seu artigo da indústria, ou científico, para o @se4fp.github.io? Vai ser no @cbsoft.bsky.social #ElixirLang #Clojure open.spotify.com/episode/3zyk...