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

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

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

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

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

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

🔥 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

Hey folks! Hope you don't mind if I switch to Portuguese for a moment. 🇧🇷🙂 🎙️ O podCast Fronteiras da ES publicou um vídeo sobre o SE4FP, explicando seus objetivos, chamada de trabalhos (call for papers) e formas de patrocínio! Confira no link a seguir: www.youtube.com/watch?v=IxeU...

Extra: SE4FP e Gambiconf www.youtube.com/watch?v=IxeU...

🔔 Exciting news from SE4FP! 🔔 Remember two weeks ago when I said our program committee was being formed? Well… it’s now official: the full committee is confirmed! ✅ 👉 Check out the complete list of amazing reviewers on our website: se4fp.github.io/2025/#call-f... #ProgramCommittee

Se você tem interesse em Programação Funcional, acompanhe o perfil do @se4fp.github.io aqui. Se você trabalha em uma empresa que usa Programação Funcional considere falar sobre o Workshop lá, eles aceitam trabalhos da Indústria também.

🚀 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

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

🚨 I think I forgot to mention this here... Did you see that the page limit for our industry papers has increased? Yes! Now you can submit up to 4 pages (3 for content + 1 for refs)! More space to share your experiences with functional programming languages in the industry! #SE4FP2025 #CBSoft2025

👀 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

Maybe someone could write a paper evaluating Tidewave for @se4fp.bsky.social José Valim recently introduced Tidewave, a new tool designed to connect web applications with editors and AI agents: Tidewave dev.to/adolfont/tid...

🧶(1/4) Attention! Over the past few days, we've received several similar questions from people interested in submitting papers to the industry track of SE4FP 2025. We’ve put together this thread to help clarify a few things. 👇

🚨 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

Wow... I think our participants will love to know that paradise lives right next door (to SE4FP) 😅 #CBSof2025 #SoftwareEngineering #ElixirLang #FunctionalProgramming

Você fez algo bem interessante relacionado ao desenvolvimento de software com programação funcional? Quer publicar no @se4fp.bsky.social ? Fale comigo!

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