Carlo A. Furia
@bugcounting.net
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Reposted by Carlo A. Furia
Reminder of the preferred approach when sharing arXiv preprint links
October 18, 2025 at 11:33 AM
Reminder of the preferred approach when sharing arXiv preprint links
Reposted by Carlo A. Furia
📣 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
👉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
📣 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
👉https://content.usi.ch/sites/default/files/storage/attachments/inf/inf-assistant-professor-dsml-2025.pdf
#TheoreticalDataScience #MachineLearning #Switzerland
Reposted by Carlo A. Furia
🚀 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
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
🚀 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
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
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...
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
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...
www.fmeurope.org/2025/09/14/f...
Reposted by Carlo A. Furia
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
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
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
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
Reposted by Carlo A. Furia
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
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
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
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
Reposted by Carlo A. Furia
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
Registration for #iFM2025 and its affiliated events is now open! ifm2025.ens.psl.eu/registration/
Reposted by Carlo A. Furia
🚀 #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
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
🚀 #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
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
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
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
Reposted by Carlo A. Furia
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:
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
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:
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:
Reposted by Carlo A. Furia
🚨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/
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
🚨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/
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/
Reposted by Carlo A. Furia
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
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
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
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
Reposted by Carlo A. Furia
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
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
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
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
Reposted by Carlo A. Furia
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
@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
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
@robertominelli.com, @andreamocci.bsky.social
👉 www.usi.ch/en/feeds/31719
Reposted by Carlo A. Furia
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
📝 Sign up today at siesta.si.usi.ch/2025/
@icseconf.bsky.social #ICSE2025 #ICPC2025 #MSR2025
April 27, 2025 at 4:31 PM
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
📝 Sign up today at siesta.si.usi.ch/2025/
@icseconf.bsky.social #ICSE2025 #ICPC2025 #MSR2025
Reposted by Carlo A. Furia
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
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
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
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
Reposted by Carlo A. Furia
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!
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
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!
Reposted by Carlo A. Furia
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
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...
Reposted by Carlo A. Furia
Has anyone backed up the arxiv to @ipfs.tech ?
"The arXiv is where we keep papers on math, physics, etc. It's run by Cornell University.
It seems unlikely that the US government would demand that Cornell destroy the arXiv."
More at mathstodon.xyz/@johncarlosb...
It seems unlikely that the US government would demand that Cornell destroy the arXiv."
More at mathstodon.xyz/@johncarlosb...
John Carlos Baez (@[email protected])
The arXiv is where we keep papers on math, physics, etc. It's run by Cornell University.
It seems unlikely that the US government would demand that Cornell destroy the arXiv. But the many copies o...
mathstodon.xyz
March 15, 2025 at 2:30 PM
Has anyone backed up the arxiv to @ipfs.tech ?
Reposted by Carlo A. Furia
📣 We are #hiring a tenure-track Assistant #Professor in Information and Computer #Security - find out more and #apply now!
👉 recruitment.usi.ch/positiondeta...
👉 recruitment.usi.ch/positiondeta...
March 13, 2025 at 3:09 PM
📣 We are #hiring a tenure-track Assistant #Professor in Information and Computer #Security - find out more and #apply now!
👉 recruitment.usi.ch/positiondeta...
👉 recruitment.usi.ch/positiondeta...
Reposted by Carlo A. Furia
🚀 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/
March 13, 2025 at 12:11 PM
🚀 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/
Reposted by Carlo A. Furia
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.
Who needs big publishers. If there were a way to introduce anonymity into the reviewing process (surely possible), this is the way forward imho.
[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...
github.com
March 7, 2025 at 7:42 AM
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.
Who needs big publishers. If there were a way to introduce anonymity into the reviewing process (surely possible), this is the way forward imho.
Reposted by Carlo A. Furia
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
February 24, 2025 at 10:44 PM
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
Reposted by Carlo A. Furia
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...
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...
conf.researchr.org
February 25, 2025 at 7:31 AM
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...
Reposted by Carlo A. Furia
Taylor-Joy is when one gets excited about a linear approximation.
May 25, 2024 at 4:04 AM
Taylor-Joy is when one gets excited about a linear approximation.