2nd Workshop on Software Engineering for Functional Programming (SE4FP) In 2026, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.iohttps://bsky.app/profile/se4fp.github.iohttps://bsky.app/profile/se4fp.github.io/post/3lxj4uzxczk2eWe’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 #FunctionalProgramming29 Aug 2025 03:35 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lxj4uzxczk2ehttps://bsky.app/profile/se4fp.github.io/post/3lx5nth7ems2d🔥 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 👇24 Aug 2025 14:06 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lx5nth7ems2dhttps://bsky.app/profile/se4fp.github.io/post/3lvqc5hvbwc24🎙️ 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 #Clojure06 Aug 2025 13:07 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lvqc5hvbwc24https://bsky.app/profile/se4fp.github.io/post/3lvez47shls2jThe 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://se4fp.github.io/2025/#accepted-papers #ElixirLang #MyElixirStatus02 Aug 2025 01:26 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lvez47shls2jhttps://bsky.app/profile/se4fp.github.io/post/3lv2dkym4t22e🚀 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!28 Jul 2025 19:34 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lv2dkym4t22ehttps://bsky.app/profile/se4fp.github.io/post/3lt5tq43djc27📢 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 #SoftwareEngineering04 Jul 2025 18:11 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lt5tq43djc27https://bsky.app/profile/se4fp.github.io/post/3lsvuczuojc2i❗To attend SE4FP 2025, you must register for CBSoft 2025 (@cbsoft.bsky.social)! Your registration gives access to the full program — including our workshop. 🔗 https://cbsoft.sbc.org.br/2025/inscricoes/?lang=pt #SE4FP #CBSoft2025 #FunctionalProgramming #SoftwareEngineering01 Jul 2025 14:00 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lsvuczuojc2ihttps://bsky.app/profile/se4fp.github.io/post/3lslty4us522mThis 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. https://www.youtube.com/watch?v=ylzo04lU9Xs 👀Are you preparing your paper for #SE4FP?27 Jun 2025 14:28 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lslty4us522mhttps://bsky.app/profile/se4fp.github.io/post/3lry35fpz2k2x🔥 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. 🧵👇19 Jun 2025 17:42 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lry35fpz2k2xhttps://bsky.app/profile/se4fp.github.io/post/3lrxixjm55k2c📢 Deadline extended! SE4FP 2025 just got 2 extra weeks! 🎉 🗓️ New dates: 📌 Paper registration: July 4 📌 Paper submission: July 11 https://se4fp.github.io/2025/#call-for-papers Time to polish your work and submit! 💻 #SE4FP #CBSoft #CallForPapers #SoftwareEngineering #FunctionalProgramming #CFP19 Jun 2025 12:17 +0000at://did:plc:vdose75rtodnxkl77qxoyqdx/app.bsky.feed.post/3lrxixjm55k2c