Advertisement · 728 × 90

Posts by Formal Methods for Autonomous Systems

Preview
The dangerous myth of ‘neutral’ technology The notion that innovation is value-free conceals the political and ideological agendas behind it

Palantir's UK head Louis Mosley wants us to believe that tech like theirs is neutral until their clients decide how to use it. People who study science, technology and society have long exposed such arguments as fallacious. My latest column for TNW.
www.thenewworld.co.uk/philip-ball-...

1 week ago 327 122 28 11
Post image

We have 'retired' the #FMAS Twitter account. So if you're seeing this, then you're still in the right place to keep up to date with all things FMAS!

We also have a LinkedIn group (www.linkedin.com/groups/10019... ) if you're so inclined, but we're still working out what to do with it.

#FMAS2026

1 month ago 4 3 0 0
A photo of Josie looking happy, holding a circular plastic hoop with robotic rotors attached to it.

A photo of Josie looking happy, holding a circular plastic hoop with robotic rotors attached to it.

Curious about soft #robotic grippers? 🤖

Later this season, I'll be chatting to Prof. Josie Hughes from EPFL about using generative AI to develop new designs for robotic manipulators.

Send me your questions for Josie in the comments below or on the Robot Talk website: robottalk.org/ask-a-question/

3 weeks ago 4 1 0 1
A photo of Melissa looking happy, wearing a grey blazer and a black top.

A photo of Melissa looking happy, wearing a grey blazer and a black top.

Got questions about intelligent aerial #robots? 🤖

Later this season, I'll be chatting to Dr. Melissa Greeff from Queen's University about autonomous navigation and learning for drones.

Send me your questions for Melissa in the comments or on the Robot Talk website: robottalk.org/ask-a-question/

3 weeks ago 4 1 0 1
Video

#ICYMI: Last month, I chatted to Dr. Maria Guix (@mariaguix.bsky.social) from @ub.edu about tiny biohybrid #robots.

Catch up here 🎧 - www.robottalk.org/2026/03/06/e... or wherever you get your podcasts!

#Robotics #Microbot

2 weeks ago 4 2 0 1
A photo of Ed looking happy, wearing grey overalls with the Machina Labs logo on.

A photo of Ed looking happy, wearing grey overalls with the Machina Labs logo on.

What would you love to know about metalworking #robots? 🤖

Later this season, I'll be chatting to Edward Mehr from Machina Labs about their RoboCraftsman that shapes complex metal parts for the aerospace, defence, and automotive industries.

Send me your questions for Ed in the comments below!

2 weeks ago 3 1 0 1
Preview
HigherEd PodCon Podcast Awards – 2026 Nominations Welcome to the inaugural HigherEd PodCon Awards, celebrating excellence in higher education podcasting. These awards recognize the outstanding creators, episodes, shows, students, and institutions sh...

If you love Robot Talk, why not nominate it for the Higher Ed PodCon Awards? 🤖

You can submit nominations here: docs.google.com/forms/d/e/1F...

Deadline: 17th April

2 weeks ago 0 1 0 0
Video

📢 New Episode Alert!

This week, I chatted to Vikas Enti from Reframe Systems about using robotics and automation to build climate-resilient, high-performance homes. 🤖 🏘️

Listen now: www.robottalk.org/2026/03/27/e... #Robots #Robotics #Construction

3 weeks ago 5 2 0 0
Advertisement
Post image Post image

After a great start at RoboSoft 2026, yesterday we’ve moving into today’s plenary sessions, live demos, and posters. It’s been an excellent start to the day!

#RoboSoft2026 #IEEE #Robotics #Science

1 week ago 2 1 0 0
Post image Post image Post image Post image

Este año, en nuestra asignatura de Arquitecturas Software para Robots en el @RoboticaSw_URJC, hemos creado un gran libro de la asignatura

La motivación ha sido proporcionar una referencia sólida sobre un tema que apenas cuenta con bibliografía

#Docencia
@urjc.bsky.social
#PasionPorEnsenar

1 week ago 0 2 0 1
Bluesky - 6,743,577 mentions of research found

Bluesky - 6,743,577 mentions of research found

Facebook - 6,694,836 mentions of research found

Facebook - 6,694,836 mentions of research found

@bsky.app overtakes Facebook for volume of citations to research.

Worth noting we don't track profiles of people on Facebook, rather several hundred thousand public pages - some of which have millions of followers.

1 week ago 21 10 0 1

⏳ FLoC 2026 Deadlines Coming!
📆 Jan 15+22 (LICS)
📆 Jan 23+30 (FSCD)
📆 Jan 24+31 (ICLP)
📆 Jan 28 (CAV)
📆 Jan 29 (CSF)
📆 Feb 6+13 (IJCAR)
📆 Feb 8+13 (KR)
📆 Feb 12+19 (ITP)
📆 Feb 20+27 (SAT)
📆 Feb 28+Mar 7 (CP)
Learn more: www.floc26.org
#FLoC2026 #LogicInCS

4 months ago 2 3 10 0

My colleague called LLMs “the modern horoscope”, and it’s now my favorite definition 😁

2 months ago 3 1 0 0
Preview
FLoC 2026 Mentoring Workshop - Application for Travel Scholarship A number of travel scholarship are available to sponsor the physical attendance of students at one of the FLoC 2026 conference blocks and the corresponding Mentoring Workshop day. Please fill this for...

**Call for Scholarship Applications**
Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social.

Deadline: 13 April, 2026
Apply at: forms.gle/89q9AaNfZV3f...
Notification: 20 April, 2026

Help us spread the word!
More details: tinyurl.com/floc26mw

1 month ago 4 6 0 1
A photo of Andy wearing a white shirt with an embroidered pattern.

A photo of Andy wearing a white shirt with an embroidered pattern.

Curious about #robots inspired by insects? 🤖

Later this season, I'll be chatting to Prof. Andrew Philippides from @sussex.ac.uk about what we can learn from ants and bees to improve robot navigation.

Send me your questions for Andy in the comments below!

1 month ago 5 3 0 1
Preview
Grammarly turned me into an AI editor against my will and I hate it The company tells Platformer it will let experts opt out of the controversial feature — but how different is it than what every other AI company is doing?

Wait, what?! Grammarly made an AI persona of me and all these other journalists?!!!!!

Thank you @caseynewton.bsky.social for shaming them into at least offering a paltry optout— although obviously that is not enough.

www.platformer.news/grammarly-ex...

1 month ago 529 198 17 29

Last chance to send me your questions for Simona!

What would you love to know about ocean observation robots?

1 month ago 1 1 0 0
Advertisement
Post image

We have 'retired' the #FMAS Twitter account. So if you're seeing this, then you're still in the right place to keep up to date with all things FMAS!

We also have a LinkedIn group (www.linkedin.com/groups/10019... ) if you're so inclined, but we're still working out what to do with it.

#FMAS2026

1 month ago 4 3 0 0
Preview
Sky Follower Bridge Bridge your Twitter/X followers to Bluesky. Detected Users: 255

I've discovered 255 Bluesky users from my social network using the Sky Follower Bridge, which has been really useful.

Hopefully that is the most active people, now that we have 'retired' the #FMAS Twitter account.

Sky Follower Bridge: share.sky-follower-bridge.dev?q=255

#skyfollowerbridge

1 month ago 2 1 0 0

i think enthusiastic LLM use is mostly a stack of cognitive biases, unacknowledged plagiarism, and unmet needs in a trenchcoat

but also my main objections aren't about them being bad at tasks so i don't care if you think they've gotten better at it

1 month ago 456 133 8 3

It is kind of suspicious that the only people I see actively defending LLMs as morally neutral seem to have very specific career incentives to do so. Especially in the academy!

1 month ago 150 23 5 3
Post image

Out now! Morgan’s Formal Methods, Informally | An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs.
Find out more: ☑️ https://cup.org/4rMx5A4

1 month ago 4 3 0 0

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Futu...

Anastasios Manganaris, Vittorio Giammarino, Ahmed H Qureshi, Suresh Jagannathan

Action editor: Oleg Arenz

https://openreview.net/forum?id=DZkikdg5sl

#policies #robot #policy

1 month ago 0 1 0 0
Preview
AIhub monthly digest: February 2026 – collective decision making, multi-modal learning, and governing the rise of interactive AI - ΑΙhub

aihub.org/2026/02/27/a...

1 month ago 0 2 0 0
A black and white photo of Simona wearing sunglasses and a dark jumper.

A black and white photo of Simona wearing sunglasses and a dark jumper.

Got questions about #robots for ocean observation? 🤖

Later this season, I'll be chatting to Dr. Simona Aracri from the National Research Council of Italy about innovative robot designs for oceanography and environmental monitoring.

Send me your questions for Simona in the comments below!

1 month ago 3 2 1 1
Advertisement
Post image Post image Post image Post image

Thanking Last Year’s Partners & Calling New Partners for 2026 🌟

2 months ago 3 3 0 0
Preview
FM 2026 - Doctoral Symposium - FM 2026 FM 2026 Doctoral Symposium, May 18 or 19, 2026

#FM2026 will also host the FM Doctoral Symposium, for PhD students to present and discuss their work on #Formal Methods, meet other PhD students, get early feedback, and talk with senior academics about research and career strategy.

Details at:

4 months ago 1 1 0 0
Preview
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…

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

4 months ago 0 2 0 0
Preview
Book Review: Domain-Specific Languages – Effective Modeling, Automation, and Reuse · Formal Methods Europe

New Book Review:

Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"

www.fmeurope.org/2025/11/26/b...

#FormalMethods

4 months ago 0 1 0 0