Carlo A. Furia
LightNews LightNews
banner
bugcounting.net
Carlo A. Furia
@bugcounting.net
340 followers 230 following 21 posts
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Posts Replies Media Videos
bugcounting.net
@formalmtds.bsky.social We are collecting the opinion of the formal methods community about the role of conference rankings (in particular for the FM symposium). If you're part of the formal methods community, we'd love to hear your opinion (it only takes 5 minutes) forms.gle/NwqWVx7R8mtA...
Conference rankings and the FM symposium
This survey collects the opinions of members of the formal methods community about conference rankings, and the ICORE rankings in particular. It has been organized by the board of Formal Methods Europ...
forms.gle
February 6, 2026 at 4:08 PM
Reposted by Carlo A. Furia
mrigger.bsky.social
We are organizing the third edition of the "Fuzzing and Software Security Summer School 2026", at NUS on 26th–29th May 2026. We have a stellar set of speakers and will also have a Hackathon. Please share, and/or consider joining! fuzzingsummerschool.github.io/index.html
February 3, 2026 at 8:03 AM
Reposted by Carlo A. Furia
jjvincent.bsky.social
another robot highlight for 2025: man wearing humanoid mocap suit kicks himself in the balls
December 27, 2025 at 5:27 PM
Reposted by Carlo A. Furia
formalmtds.bsky.social
FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe

Dates
* Optional 01 Dec 2025: Expression of Interest
* 15 Jan 2026: Proposals
* 15 Feb 2026: Notification

Details: www.fmeurope.org/2025/09/14/f...
FM 2027: Call for Organizers · Formal Methods Europe
FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in…
www.fmeurope.org
December 1, 2025 at 2:37 PM
bugcounting.net
General chair @caterinaurban.bsky.social opening #ifm25 at Inria Paris with PC chairs Ferruccio Damiani and Marie Farrell. 1/2
Caterina Urban, Ferruccio Damiani, and Marie Farrell on stage.
November 19, 2025 at 7:58 AM
Reposted by Carlo A. Furia
omarrivasplata.bsky.social
Reminder of the preferred approach when sharing arXiv preprint links
October 18, 2025 at 11:33 AM
Reposted by Carlo A. Furia
inf.usi.ch
📣 We are #hiring a tenure-track Assistant #Professor in Theoretical Data Science and Machine Learning - find out more and #apply now!
👉https://content.usi.ch/sites/default/files/storage/attachments/inf/inf-assistant-professor-dsml-2025.pdf

#TheoreticalDataScience #MachineLearning #Switzerland
October 3, 2025 at 8:19 AM
Reposted by Carlo A. Furia
adolfont.github.io
🚀 The 14th FormaliSE conference is coming to #ICSE2026!

A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.

🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
September 30, 2025 at 2:43 PM
bugcounting.net
Formal Methods Europe @formalmtds.bsky.social is looking for proposals to host the Formal Method symposium in autumn 2027 (or later years). You're welcome to get in touch with FME's board if you have any questions. Proposal are due by 15 January 2026.
www.fmeurope.org/2025/09/14/f...
FM 2027: Call for Organizers · Formal Methods Europe
www.fmeurope.org
September 15, 2025 at 11:33 AM
Reposted by Carlo A. Furia
formalmtds.bsky.social
New Post: Call for Papers for #FM2026

FME's 27th International Symposium on Formal Methods, this year in Tokyo.

Papers due on 2nd of Dec 2025 (AoE) with special tracks on Tests & Proofs and Tutorials, plus Industry Day and the Doctoral Symposium.

www.fmeurope.org/2025/04/10/f...
#FormalMethods
FM 2026: Call for Papers · Formal Methods Europe
FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on,…
www.fmeurope.org
September 12, 2025 at 9:11 AM
Reposted by Carlo A. Furia
formalmtds.bsky.social
This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026.

FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains.

Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)

Details: conf.researchr.org/home/fm-2026
#FM2026
FM 2026
FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…
conf.researchr.org
September 11, 2025 at 1:37 PM
Reposted by Carlo A. Furia
caterinaurban.bsky.social
Registration for #iFM2025 and its affiliated events is now open! ifm2025.ens.psl.eu/registration/
Registration
Registration is now open! New Registration Update Registration Early Registration Deadline: 25 October 2025 At least one author per accepted paper or PhD Symposium presentation must register by the ea...
ifm2025.ens.psl.eu
September 9, 2025 at 8:14 AM
Reposted by Carlo A. Furia
si.usi.ch
🚀 #SIESTA2025 is live! The 5th International Software Engineering Summer School has kicked off!

Over three days, top researchers will cover topics like ML4SE, Test Case Generation, Empirical Studies, Impostor Syndrome, and LLM!

More info: siesta.si.usi.ch/2025
August 27, 2025 at 9:25 AM
bugcounting.net
At the upcoming IEEE 2025 Conference on Games 🎮, @andreamocci.bsky.social will present our joint work: "What makes a level hard in Mario Maker 2?" Definitely an unusual topic for a publication of mine! This short 🧵 explains what's that about. cog2025.inesc-id.pt/accepted-pap... #cog25 1/6
August 20, 2025 at 2:54 PM
Reposted by Carlo A. Furia
formalmtds.bsky.social
The 27th Symposium on Formal Methods CfP

If your work develops or applies #FormalMethods then #FM2026 is probably interested!

Dates (AoE)
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026

Gold open access proceedings

Details:
FM 2026 - FM 2026
FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…
conf.researchr.org
April 8, 2025 at 1:37 PM
Reposted by Carlo A. Furia
fmasworkshop.bsky.social
🚨Deadline Extension

The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth)

Workshop: 17th - 19th Nov 2025

Send us papers applying #FormalMethods to almost any kind of #Autonomous System

More details: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 12, 2025 at 10:17 AM
Reposted by Carlo A. Furia
fmasworkshop.bsky.social
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
buff.ly
May 23, 2025 at 10:17 AM
Reposted by Carlo A. Furia
fmasworkshop.bsky.social
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
buff.ly
May 9, 2025 at 10:17 AM
Reposted by Carlo A. Furia
usi.ch
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
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...
www.usi.ch
April 30, 2025 at 10:12 AM
Reposted by Carlo A. Furia
si.usi.ch
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
April 27, 2025 at 4:31 PM
Reposted by Carlo A. Furia
fmasworkshop.bsky.social
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
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
April 23, 2025 at 10:17 AM
Reposted by Carlo A. Furia
jcenzo.bsky.social
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!
jcenzo.bsky.social Jenna DiVincenzo @jcenzo.bsky.social · Feb 24
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
March 29, 2025 at 8:34 PM
Reposted by Carlo A. Furia
arminbiere.bsky.social
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...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
March 26, 2025 at 4:38 PM
Reposted by Carlo A. Furia
ianopolous.bsky.social
Has anyone backed up the arxiv to @ipfs.tech ?
March 15, 2025 at 2:30 PM
Reposted by Carlo A. Furia
inf.usi.ch
📣 We are #hiring a tenure-track Assistant #Professor in Information and Computer #Security - find out more and #apply now!
👉 recruitment.usi.ch/positiondeta...
March 13, 2025 at 3:09 PM