Lightnews — Scholar-powered news

Seventh International Workshop on Formal Methods for Autonomous Systems

Reposted by Formal Methods for Autonomous Systems

Matt Luckcuck @mattluckcuck.bsky.social · Aug 28

Today's deadline day for #FMAS2025! 🚨

If you are writing a paper for the 7th International Workshop on Formal Methods for Autonomous Systems, you have until the end of today (28th) Anywhere on Earth.

Details and submission link: fmasworkshop.github.io/FMAS2025/

@fmasworkshop.bsky.social

2 2

Reposted by Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 28

Finalise your papers and submit them!

We will be closing the submissions portal in a few hours, so be sure to submit before the end of the day on 28.08 (AOE).

#FMAS2025

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 28

Finalise your papers and submit them!

We will be closing the submissions portal in a few hours, so be sure to submit before the end of the day on 28.08 (AOE).

#FMAS2025

Reposted by Formal Methods for Autonomous Systems

AAMAS.2026 @aamasconf.bsky.social · Aug 28

Looking to take part in #AAMAS2026? Check out the exciting opportunities to contribute:

🔹 Doctoral Consortium Contributions
🔹 Workshops
🔹 Tutorials
🔹 Competitions

👉 Be part of the global community shaping the future of autonomous agents and multiagent systems: cyprusconferences.org/aamas2026

#AI

1 3

Reposted by Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 27

The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.

All the details are on our website: fmasworkshop.github.io/FMAS2025/

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 27

Have you submitted yet??

The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining!

#FMAS2025

1 2

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 27

The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.

All the details are on our website: fmasworkshop.github.io/FMAS2025/

Does every Computer Scientist need to know Formal Methods? · Formal Methods Europe

Reposted by Formal Methods for Autonomous Systems

Formal Methods Europe @formalmtds.bsky.social · Aug 15

Does every Computer Scientist need to know Formal Methods?

Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee

#FormalMethods #ComputerScience #SoftwareEngineering

www.fmeurope.org

2 2

Reposted by Formal Methods for Autonomous Systems

tenuretracker.info @tenuretracker.bsky.social · Aug 18

The University of Manchester is hiring:
Research Associate - Formal Methods for Autonomous Robotics

3

Reposted by Formal Methods for Autonomous Systems

Charles Southerland @proidiot.bsky.social · Aug 21

Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...

Watch robot crab 'Wavy Dave' get attacked in claw-waving contest with real crabs

Reposted by Formal Methods for Autonomous Systems

Robot Talk @robottalkpod.bsky.social · Aug 27

Researchers in Scotland created a robotic fiddler crab to study the claw-waving contests that males of the species use to attract a mate. But the robot, nicknamed "Wavy Dave", didn't come out of the experiments unscathed. 🤖 www.livescience.com/animals/crus... #Robots #Robotics

Researchers have built a robot crab that can compete in claw-waving displays with real fiddler crabs, but "Wavy Dave" doesn't always come out unscathed.

www.livescience.com

4 4

Reposted by Formal Methods for Autonomous Systems

Professor Tom Crick @proftomcrick.com · Aug 23

Three Obituaries for Margaret Ann Boden joanna-bryson.blogspot.com/2025/07/marg... @j2bryson.bsky.social

Three Obituaries for Margaret Ann Boden

artificial and natural intelligence, including politics, policy, ethics and security

joanna-bryson.blogspot.com

1 5

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 25

Four more days to go!
We are looking forward to your submissions.

Deadline: 28th August 2025 (AOE)
Details: fmasworkshop.github.io/FMAS2025/

#FMAS2025

Seventh International Workshop on Formal Methods for Autonomous Systems

Reposted by Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 13

Our AFMAS special issue papers are now available online!
Discover them here: www.sciencedirect.com/special-issu...

Seventh International Workshop on Formal Methods for Autonomous Systems

Reposted by Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 20

We have extended the deadline for #FMAS2025 to the 28th of August 2025 (still anywhere on Earth)!

This gives you all a little more time to polish your papers, if you're intending to send us some of your work.

Details: fmasworkshop.github.io/FMAS2025/

Seventh International Workshop on Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 20

We have extended the deadline for #FMAS2025 to the 28th of August 2025 (still anywhere on Earth)!

This gives you all a little more time to polish your papers, if you're intending to send us some of your work.

Details: fmasworkshop.github.io/FMAS2025/

Seventh International Workshop on Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 15

🚨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: buff.ly/7CbLuOm

1 2

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 13

Our AFMAS special issue papers are now available online!
Discover them here: www.sciencedirect.com/special-issu...

Seventh International Workshop on Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 12

🚨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/

2 3

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 11

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration!
buff.ly/sH6P7TM

FMAS Challenges 2024

Seventh International Workshop on Formal Methods for Autonomous Systems

1

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 8

Special Topic for #FMAS2025: Human-AI Teams!

Alongside usual topics, we invite works on FM for human-AI team. We are interpreting AI broadly as autonomous, intelligent, or self-learning systems.

If your topic fits, submit a paper by 22.08.2025 (AOE)!

buff.ly/VZaDX0m

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 6

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration!
app.mural.co/t/phd3063/m/...

Mural

app.mural.co

1

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 4

Our program committee is ready and waiting!

If you're doing research with #FormalMethods and #Autonomy, then we're probably interested in your work!
Special focus for this year: Human-AI teams!

Deadline: 22nd August 2025
Details: fmasworkshop.github.io/FMAS2025/

#FMAS2025

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 1

Looking for ideas on what papers to submit to #FMAS2025?
Take a look at the papers from the past 6 years of FMAS.
All the proceedings are indexed on DBLP: buff.ly/3BNtvR9

Deadline: 22nd Aug 2025 (AoE)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025