Carlo A. Furia

Publishing in Mad magazine?

Seventh International Workshop on Formal Methods for Autonomous Systems

Do you work with automated, semi-autonomous, or fully autonomous systems?

Then submit your paper to our workshop! We are co-located with iFM 2025.

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (#iFM2025)
Details: buff.ly/VZaDX0m

#FMAS2025

Seventh International Workshop on Formal Methods for Autonomous Systems

Do you work with automated, semi-autonomous, or fully autonomous systems?

Then submit your paper to our workshop! We are co-located with iFM 2025.

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (#iFM2025)
Details: buff.ly/VZaDX0m

#FMAS2025

USI at the Osaka Expo, thanks to CodeLounge The World Expo is taking place in Osaka from 13 April to 13 October. Switzerland has a pavilion featuring a narrative installation blending art and science, created by CodeLounge, part of the Software...

USI at #ExpoOsaka2025, thanks to CodeLounge. Check out the installation implemented by CodeLounge from our @si.usi.ch, @inf.usi.ch at the Swiss Pavilion!
@robertominelli.com, @andreamocci.bsky.social

👉 www.usi.ch/en/feeds/31719

Are you looking for the best summer school in Software Engineering? Join us in Lugano this summer for #SIESTA2025 🏝️

📝 Sign up today at siesta.si.usi.ch/2025/

@icseconf.bsky.social #ICSE2025 #ICPC2025 #MSR2025

Seventh International Workshop on Formal Methods for Autonomous Systems

FMAS is back for 2025!

We are interested in work that applies Formal Methods to almost any kind of autonomous system

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: fmasworkshop.github.io/FMAS2025/

#FMAS2025

Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

Has anyone backed up the arxiv to @ipfs.tech ?

📣 We are #hiring a tenure-track Assistant #Professor in Information and Computer #Security - find out more and #apply now!
👉 recruitment.usi.ch/positiondeta...

🚀 We’re gearing up for #SIESTA2025, the coolest summer school in #SoftwareEngineering that will take place in Lugano 🇨🇭 on Aug 27–29, 2025! We'll cover a broad range of topics, with a special focus on #AI for Software Engineering (#AI4SE). Stay tuned! 🔥 siesta.si.usi.ch/2025/

Next: controlled experiment to figure out whether programming in this language is indeed less prone to off-by-one errors... 👨‍🔬

[REVIEW]: The Causal Testing Framework · Issue #7739 · openjournals/joss-reviews Submitting author: @jmafoster1 (Michael Foster) Repository: https://github.com/CITCOM-project/CausalTestingFramework Branch with paper.md (empty if default branch): Version: v10.0.1 Editor: @daniel...

So impressed by the JOSS publication model. The whole process is run on GitHub! Reviews are submitted as issues! github.com/openjournals...

Who needs big publishers. If there were a way to introduce anonymity into the reviewing process (surely possible), this is the way forward imho.

VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2

LEARNER 2025 - EASE 2025 3rd International Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining (LEARNER 2025) The LEARNER (evaLuation and assEssment in softwARe eNgineers’ Education and tRaini...

Interested in software engineering education? Consider submitting your work to the LEARNER 2025 workshop, co-located with EASE in Instanbul this June! conf.researchr.org/home/ease-20...

Taylor-Joy is when one gets excited about a linear approximation.

The Swiss Verification Day is in full swing at USI on Lugano. #svd2025

Siesta 2025 is coming: 5th Software Engineering Summer School, August 27-29, Lugano, Switzerland. Stay tuned! siesta.si.usi.ch/2025/

Software Engineering researcher? We're hiring at the Assistant Professor level. Come join one of the largest and best SE groups in the world, in a fantastic research and teaching environment: web103.reachmee.com/ext/I005/103...

If there's one lesson to be learned from the DeepSeek story, when it comes to hardware vs algorithms, always bet on the algorithms.

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social

Thomas Wies (NYU) and I are organizing the 2025 edition of the VerifyThis competition and we are currently looking for interesting academic or industry verification problems. The deadline for submission is Feb. 7. See the call for problems for more information: www.pm.inf.ethz.ch/research/ver....

ECOOP 2025 - Technical Papers - ECOOP 2025 ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to pro...

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE:

2025.ecoop.org/track/ecoop-...

EUGAIN is organizing the memorial for Barbora (Bara) Buhnova, an amazing software engineering researcher and person, a role model to many. Everyone is invited to join us in honouring Bara’s short but remarkable life on 19 Dec, 14:00-15:00 CET via Teams meeting. eugain.eu/news/remembe...

"Simpsons Roasting on an Open Fire” aired 35 years ago, today.

One of the reasons, at least 😀

A screenshot of PayPal's terms of service. Big wall of legalese text, which I will be pasting in below. You don't need to read it, here's the important part: "The key update to the Privacy Statement explains how we will share information with merchants to personalize your shopping experience and recommend our services to you. Personal information we disclose includes, for example, products, preferences, sizes, and styles we think you’ll like. Information gathered about you after the effective date of our updated Privacy Statement, November 27, 2024, will be shared with participating stores where you shop." Here's the whole paragraph: We are updating our Privacy Statement to explain how, starting early Summer 2025, we will share information to help improve your shopping experience and make it more personalized for you. The key update to the Privacy Statement explains how we will share information with merchants to personalize your shopping experience and recommend our services to you. Personal information we disclose includes, for example, products, preferences, sizes, and styles we think you’ll like. Information gathered about you after the effective date of our updated Privacy Statement, November 27, 2024, will be shared with participating stores where you shop, unless you live in California, North Dakota, or Vermont. For PayPal customers in California, North Dakota, or Vermont, we’ll only share your information with those merchants if you tell us to do so. No matter where you live, you’ll always be able to exercise your right to opt out of this data sharing by updating your preference settings in your account under “Data and Privacy.”

In 2025 (less than 30 days away), PayPal will start selling your transaction history for targeted advertising.

I very highly recommend logging into your account and going to Settings > Data & Privacy > Personalized Shopping.

If you're reading this, turn that off RIGHT NOW before you forget.

Formal Methods Europe FME’s Teaching Committee has recently organised a special issue of Formal Aspects of Computing that puts forward different perspectives on why and how Formal Methods should be represented in Computer…

We are Formal Methods Europe, an association promoting research and practice in #FormalMethods mathematical #SoftwareEngineering approaches that support the rigorous specification, design and verification of systems.

Find out more here:

Delighted to be co-organising the inaugural CauSE 2025 workshop (Causal Methods in Software Engineering), co-located with FSE in Trondheim.

We welcome papers on all things causality and SE! Deadline Feb. 25th.

Spread the word!

causality-software-engineering.github.io/cause-worksh...

Congrats! Well deserved as usual.