Upside down - Time to restore the balance and support a rational order. bit.ly/3VwFDO5

📣 Registrations are open at siesta.si.usi.ch/2024/

🏝️ The best summer #SIESTA is back on the seaside! Discover more about our software engineering summer school and register now! siesta.si.usi.ch/2024/

Astonishing stat: The U.S. economy is currently 44 percent larger than the European Union. In 2008, they were roughly the same size.

. 22 people have published more than 200 papers in 2024 (so far, we still have another six months to go) We have been doing some research on another project and saw something that we found interesting. We'd be interested to know what you think. In 2024, 22 authors (according to

🏖️ We're excited about the lineup at #SIESTA2024! 🌟 Join us in Bari, Italy from Sept 4-6 for insights from top researchers like. Don't miss out on cutting-edge #SoftwareEngineering trends and networking opportunities! 📝 Register now at siesta.si.usi.ch/2024

Software Architecture by Cesare Pautasso is on sale on Leanpub! Its suggested price is $99.99; get it for $29.99 with this coupon: leanpub.com/sh/ya9W3VbB Cesare Pautasso #Textbooks #SoftwareArchitecture

If you use/ever used a verification-aware lang (e.g. Dafny, Why3) we would be very thankful if you could participate in our survey: tinyurl.com/4nkm5hbc We are gathering insights into what challenges beginners and experienced devs face while using these langs. Pls share! 🙏

Congratulations to Rajeev Alur! sigact.org/prizes/knuth/c…

If you are interested in a postdoc in program/spec repair and/or addressing challenges in the adoption of verification-aware languages (like Dafny), plz get in touch! I just had a project approved (more details soon) & we are a strong, young(ish) & motivated team! Plz share! 😊

⭐️Call for MSR 2025 Junior PC 2025⭐️ - Are you a PhD student? - Want to learn how to write good reviews? Nicole Novielli and I would like to invite you to join the MSR 2025 Junior PC 2025 initiative. Apply: tiny.cc/msrjuniorpc2025 Details: 2025.msrconf.org/track/msr-2025… RT🙏

PhD student in formal methods? There is still time to submit a summary of your research to participate in the PhD symposium at the iFM (integrated Formal Methods) 2024 conference in November! buff.ly/3T3oMk8

.FormaliSE is a venue to exchange ideas, experiences, techniques, and results at the intersection of the #FormalMethods and #SoftwareEngineering communities. FormaliSE 2025 will be co-located with ICSE 2025. CFP: 2025.formalise.org #formalise2025 #icse2025

We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published! It is available on the dedicated website: 2025.formalise.org

In the opening keynote of the FM symposium, Marta Kwiatkowska argues that formal methods can help provide provable guarantees is high-stake AI/ML applications. #FM24 Formal Methods 2026 Formal Methods Europe

I don't understand how anyone can write code anymore without AI assistance. On the other hand, I also don't understand how (at this time) anyone that has no deep understanding of CS can write complex code with just AI. Ergo, this is a fantastic time to be a developer; but

Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/a…

Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/a…

In 1996 Ukraine handed over nuclear weapons to Russia "in exchange for a guarantee never to be threatened or invaded".

We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended! 😃 - Call for abstracts new deadline: 18 November 2024 (less than one week! 🔔) - Call for papers new deadline: 25 November 2024 Do not forget to submit!