Carlo A. Furia

Inactive account: follow at @bugcounting.net on Bluesky (or

[FormaliSE @FormaliSEconf]

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!

[Historic Vids @historyinmemes]

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

[Anastasia Mavridou @anmavrid]

Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. https://t.co/n4IPbzAtO8

[FormaliSE @FormaliSEconf]

Call for Papers: FormaliSE 2025 - https://t.co/fRDIlWW3bX

[Erik Meijer @headinthebox]

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!

[Carlo A. Furia @bugcounting]

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

[FormaliSE @FormaliSEconf]

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: https://t.co/zHsJeeyIGV

[ICSE @ICSEconf]

.@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: https://t.co/qbVPO1BcD6
#formalise2025 #icse2025

[A/Prof Kla Tantithamthavorn @klainfo]

⭐️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: https://t.co/yiD1n13Wt0
Details: https://t.co/sZu7oKyOvM

RT🙏

[Carlo A. Furia @bugcounting]

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! https://t.co/sf2thyo9rR

[Alexandra Mendes @asfmendes]

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

[Moshe Vardi @vardi]

Congratulations to Rajeev Alur! https://t.co/hmZDknTDbY

[Alexandra Mendes @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 survey: https://t.co/i0yrMtzA6J

We are gathering insights into what challenges beginners and experienced devs face while using these langs. Pls share! 🙏

[Leanpub @leanpub]

Software Architecture by Cesare Pautasso is on sale on Leanpub! Its suggested price is $99.99; get it for $29.99 with this coupon: https://t.co/rMEBgB6MA6 @pautasso #Textbooks #SoftwareArchitecture

[Carlo A. Furia @bugcounting]

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

[Software Institute @usisoftware]

🏖️ 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 https://t.co/EJXRzX4AoD

[Software Institute @usisoftware]

🏝️ The best summer #SIESTA is back on the seaside! Discover more about our software engineering summer school and register now! https://t.co/FXWY63plAp

[Publishing with Integrity @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 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?

[Paul Farhi @farhip]

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

[Bertrand Meyer @Bertrand_Meyer]

Upside down - Time to restore the balance and support a rational order. https://t.co/UQ7RzIxuel