Post

@se4fp.github.io

🔥 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/6/25, 5:42 pm1 repost2 likes

SE4FP Workshop

@se4fp.github.io

19 June 2025

🎯 The first session is already scheduled! 📣 Sofia Rodrigues (Research Software Engineer at Lean FRO) 🗓️ June 25, 4PM (GMT-3) 💻 Topic: An introduction to the Lean programming language 🔗 lean-lang.org

lean-lang.orgProgramming Language and Theorem Prover — Lean

SE4FP Workshop

@se4fp.github.io

19 June 2025

📩 Want to join this and future sessions? Register here 👉 forms.gle/gXQyGLeMKmDH... You'll get notified about all the Esquenta SE4FP activities! Stay tuned — more exciting talks are coming soon. #SE4FP #FunctionalProgramming #SoftwareEngineering #LeanLang

forms.gleInscrição no Esquenta SE4FPO Esquenta SE4FP é uma série de palestras online gratuitas, em inglês ou em português, com temas relacionados à Engenharia de Software para Programação Funcional. Embora as linguagens de programação f...