Carlo A. Furia

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!

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

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…

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

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 enjoy it while you can!

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 @FMsymp @FormalMtds

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

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

⭐️Call for @msrconf Junior PC 2025⭐️ - Are you a PhD student? - Want to learn how to write good reviews? @NicoleNovielli and I would like to invite you to join the @msrconf 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

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

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

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

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 @pautasso #Textbooks #SoftwareArchitecture

@tritlo This might tell you more about what kind of extraordinary person Knuth is, rather than what the average computer scientist is like. On the other hand, I also know of other big shots who are very humble and open to everyone.

The amazing thing about CS is how open everyone is. I did a summer program in Stanford a few years back, and I knew Knuth was there. I mailed him a letter (no email!) and he agreed to see me. We had a brief chat, and it inspired me a lot in my future career. Meet your heroes!

🏖️ 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

🏝️ 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/

. 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 @Scopus) have published over 200 papers. The table below shows the details (we decided not to show author names at this time). The author who has published the most papers has authored 261 papers (as at 15 Jun 2024) meaning that he/she has published 1.56 papers every day this year (and counting). If we exclude weekends (everybody has to rest, right?), then they have published 2.18 papers every day. Serious question: Is it possible for anybody to contribute in a meaningful way (at least to warrant being at author) when they are publishing a paper every day?

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

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