Carlo A. Furia
@bugcounting
Followers
493
Following
5K
Media
67
Statuses
1K
Inactive account: follow at @bugcounting.net on Bluesky (or https://t.co/I7GFENw3nN)
Joined November 2014
RT @FormaliSEconf: We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended!….
0
5
0
RT @historyinmemes: In 1996 Ukraine handed over nuclear weapons to Russia "in exchange for a guarantee never to be threatened or invaded".….
0
6K
0
RT @anmavrid: Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper de….
0
6
0
RT @headinthebox: I don't understand how anyone can write code anymore without AI assistance. On the other hand, I also don't understand….
0
38
0
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
1
4
17
RT @FormaliSEconf: We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published!. It is avail….
0
7
0
RT @ICSEconf: .@FormaliSEconf is a venue to exchange ideas, experiences, techniques, and results at the intersection of the #FormalMethods….
0
4
0
RT @klainfo: ⭐️Call for @msrconf Junior PC 2025⭐️. - Are you a PhD student?.- Want to learn how to write good reviews?. @NicoleNovielli and….
0
19
0
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!
0
5
4
RT @asfmendes: If you are interested in a postdoc in program/spec repair and/or addressing challenges in the adoption of verification-aware….
0
15
0
RT @asfmendes: If you use/ever used a verification-aware lang (e.g. Dafny, Why3) we would be very thankful if you could participate in our….
0
14
0
RT @leanpub: Software Architecture by Cesare Pautasso is on sale on Leanpub! Its suggested price is $99.99; get it for $29.99 with this cou….
0
2
0
RT @usisoftware: 🏖️ We're excited about the lineup at #SIESTA2024! 🌟 Join us in Bari, Italy from Sept 4-6 for insights from top researchers….
0
10
0
RT @usisoftware: 🏝️ The best summer #SIESTA is back on the seaside! Discover more about our software engineering summer school and register….
0
14
0
RT @fake_journals: . 22 people have published more than 200 papers in 2024 (so far, we still have another six months to go). We have been d….
0
842
0
RT @farhip: Astonishing stat: The U.S. economy is currently 44 percent larger than the European Union. In 2008, they were roughly the same….
0
874
0
