FSE 2025 is giving a beautiful taste of Brazilian culture. Leopoldo Teixeira nailed this organization!

Olá from FSE 2025 town hall meeting to the SPLC 2025 community!

Thanks to Leopoldo Teixeira Marcelo d'Amorim FSE 2025 for giving us a glimpse of brazilian carnival at the conference reception!

👉 Chico Sundermann presenting the result of hundreds of hours of work: A comprehensive collection of feature-model instances from research and industry with the goal of improving the validity and relevance of future empirical works in product-line research. #SPLC24 Authors ⬇️

Congratulations to the authors for winning the "Best Research Paper Award" at #SPLC24!

Congratulations again @sandragreiner @SchultheissAlex Paul Bittner Thomas Thüm Timo Kehrer ! 🤩🥳

i feel this so much...

Paul Bittner will present tomorrow at SPLASH Conference by 14:50 on IBR East. You will also have the chance to know more about variability in both C++ and 🍔, as well as learning about Option Calculus, the differences and tradeoffs on language choices, and correct compilers in Agda.

What an amazing keynote we heard by Neha! The scale of their applications of formal methods is just astounding. SPLASH Conference

For those learning proofs for the first time:

double-blind peer review

When the domain has more elements than the range x.com/shitpost_2077/…

When you hire 100 junior developers to do the job of 3 seniors:

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! conf.researchr.org/home/icfp-spla… functional-architecture.org/events/funarch

Rows appear to move.