Carlo A. Furia
@bugcounting
Inactive account: follow at @bugcounting.net on Bluesky (or https://mastodon.acm.org/@bugcounting)
You might like
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…
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…
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! 😊
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
🏖️ 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…
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
bertrandmeyer.com
Upside down - Bertrand Meyer's technology+ blog
What is going on? In the US, the leading presidential candidate is a vulgar crook, a serial business failure and convicted business fraudster; more ominously, he acts like a vassal to Putin. His...
Software Engineering cluster at @TUeindhoven is looking for a new Assistant Professor jobs.tue.nl/en/vacancy/ass… #academics #facultyjobs RT = ♥️
United States Trends
- 1. Good Monday 29K posts
- 2. #MondayMotivation 32.2K posts
- 3. Happy Birthday Marines 3,757 posts
- 4. Rudy Giuliani 17.1K posts
- 5. Semper Fi 4,097 posts
- 6. #MondayVibes 2,000 posts
- 7. 8 Democrats 11.7K posts
- 8. The BBC 443K posts
- 9. Pond 170K posts
- 10. United States Marine Corps 4,972 posts
- 11. #ITZY_TUNNELVISION 39.1K posts
- 12. Resign 120K posts
- 13. Steelers 54.5K posts
- 14. #USMC N/A
- 15. Mark Meadows 16.2K posts
- 16. John Fetterman 18.4K posts
- 17. Tim Kaine 26.1K posts
- 18. 8 Dems 8,625 posts
- 19. Tomlin 8,625 posts
- 20. Rodgers 22K posts
Something went wrong.
Something went wrong.