SE4FP Workshop
banner
se4fp.github.io
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/
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
August 29, 2025 at 3:35 AM
🔥 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 👇
August 24, 2025 at 2:06 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
August 6, 2025 at 1:08 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!
July 28, 2025 at 7:34 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
July 4, 2025 at 6:11 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
July 1, 2025 at 2:00 PM
🔥 We're excited to launch Esquenta SE4FP 2025!
A series of free online talks (in 🇧🇷Portuguese or 🇬🇧English) on topics related to Software Engineering for Functional Programming, leading up to the in-person SE4FP workshop at #CBSoft2025.

🧵👇
June 19, 2025 at 5:43 PM
📢 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
June 19, 2025 at 12:17 PM
Let’s go, everyone! The deadline is approaching, but there’s still time to submit!: se4fp.github.io/2025/
#ElixirLang #SoftwareEngineering #FunctionalProgramming #CBSoft2025
June 13, 2025 at 6:38 PM
🚀 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
June 9, 2025 at 6:30 PM
🔥 Hey everyone, we’ve got exciting news! Our first speakers and roundtable guests are announced on the #SE4FP website — and it's a stellar lineup! ⭐

Curious? Check them out and let us know what you think 👇
🔗 se4fp.github.io/2025/#speakers
#ElixirLang #SoftwareEngineering #FunctionalProgramming
May 28, 2025 at 2:28 PM
🚀 SE4FP is a new non-profit event focused on Software Engineering for Functional Programming!

Our 1st edition is coming in 2025 — and we want you with us.

Check out our sponsorship plans and help shape this community from day one: 1drv.ms/p/c/0237b41b...

#SE4FP2025 #CBSoft2025 #ElixirLang
May 12, 2025 at 5:48 PM
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
May 2, 2025 at 6:56 PM
👀 Curious to know who will be reviewing the papers submitted to SE4FP?
Well… we've already started announcing some of the names on our program committee on the official website!
se4fp.github.io/2025/#call-f...

More names will be revealed in the coming weeks!

#SE4FP2025 #ProgramCommittee #Reviewers
April 30, 2025 at 5:20 PM
🚨 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
April 17, 2025 at 8:34 PM
It's official! Our first edition of the workshop will take place as a satellite event of CBSoft 2025 (@cbsoft.bsky.social) — the largest software conference in Brazil! More details at: se4fp.github.io/2025/ #SoftwareEngineering #ElixirLang #CBSoft2025
April 15, 2025 at 6:18 PM