While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS
This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025).
FMAS brings together researchers working on a range of techniques for the formal…
www.youtube.com
September 25, 2026 at 8:01 AM
While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
If I could have combined the FMAs into 1 slot, the 9th one would have either gone to Your Lie in April or Medabots
September 22, 2026 at 2:57 PM
If I could have combined the FMAs into 1 slot, the 9th one would have either gone to Your Lie in April or Medabots
Figured I'd do the 9 Anime that Shaped Me one too. No particular order except the FMAs tied at #1.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
September 22, 2026 at 2:53 PM
Figured I'd do the 9 Anime that Shaped Me one too. No particular order except the FMAs tied at #1.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
Just like the games, I had to leave out a ton of favorites and other series that impacted me but, these are the ones I'd say definitely shaped me.
I struggled to think of 9 because I'm kind of a loyalist. And most are from my childhood. Both FMAs get to be here because they impacted me differently my9animes.com/en
September 22, 2026 at 11:16 AM
I struggled to think of 9 because I'm kind of a loyalist. And most are from my childhood. Both FMAs get to be here because they impacted me differently my9animes.com/en
Yep, fun github.com/microsoft/Ty...
Ban implicit floating-point FMAs by jakebailey · Pull Request #64323 · microsoft/TypeScript
Inspired by recent Go compression bugs with Go 1.27 doing more FMA on ARM, I had copilot write a lint rule to go through our repo and find anything that might be a bug. The lint rule (and GOCOMPILE...
github.com
September 18, 2026 at 6:11 PM
Yep, fun github.com/microsoft/Ty...
It's an interesting direction, derogatory, because I feel when these companies attempt to do scroll they're not respecting the craft people do use when using that format and it's just becomes an endless scroll to stay on their app/stories longer. FMAs run on webtoons is a good example of that!
September 14, 2026 at 9:52 PM
It's an interesting direction, derogatory, because I feel when these companies attempt to do scroll they're not respecting the craft people do use when using that format and it's just becomes an endless scroll to stay on their app/stories longer. FMAs run on webtoons is a good example of that!
And nice guy who spent the time to teach the podcast about what goes on. His work left a big impact on me. And not just with your FMAs and AOTs. Mike directed Trinity Blood, played Cain and was the first English VA to legit scare me with a vocal performance
September 10, 2026 at 10:59 PM
And nice guy who spent the time to teach the podcast about what goes on. His work left a big impact on me. And not just with your FMAs and AOTs. Mike directed Trinity Blood, played Cain and was the first English VA to legit scare me with a vocal performance
I have spent the last month or so both impressed and upset by how few pieces of popular media have matched FMAs nuance surrounding war and culpability in the half-century since the first chapter released.
September 2, 2026 at 11:56 PM
I have spent the last month or so both impressed and upset by how few pieces of popular media have matched FMAs nuance surrounding war and culpability in the half-century since the first chapter released.
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
August 25, 2026 at 12:02 PM
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
This year #FMAS is trying out an abstract deadline to help our reviewers bid for papers.
If you're writing a paper for #FMAS then please send us your abstract by the end of today (Anywhere on Earth). 😁
If you're writing a paper for #FMAS then please send us your abstract by the end of today (Anywhere on Earth). 😁
Today is the #FMAS2026 abstract submission deadline!
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
August 14, 2026 at 7:43 AM
www.laparoscopyhospital.com
Benefits of Laparoscopic Surgery: Why Minimally Invasive Surgery Is the Gold Standard
#LaparoscopicSurgery #MinimallyInvasiveSurgery #KeyholeSurgery #GeneralSurgery #RoboticSurgery #SurgicalEducation #DrRKMishra #WorldLaparoscopyHospital #MedicalEducation #FMAS
Benefits of Laparoscopic Surgery: Why Minimally Invasive Surgery Is the Gold Standard
#LaparoscopicSurgery #MinimallyInvasiveSurgery #KeyholeSurgery #GeneralSurgery #RoboticSurgery #SurgicalEducation #DrRKMishra #WorldLaparoscopyHospital #MedicalEducation #FMAS
August 9, 2026 at 7:04 AM
www.laparoscopyhospital.com
Benefits of Laparoscopic Surgery: Why Minimally Invasive Surgery Is the Gold Standard
#LaparoscopicSurgery #MinimallyInvasiveSurgery #KeyholeSurgery #GeneralSurgery #RoboticSurgery #SurgicalEducation #DrRKMishra #WorldLaparoscopyHospital #MedicalEducation #FMAS
Benefits of Laparoscopic Surgery: Why Minimally Invasive Surgery Is the Gold Standard
#LaparoscopicSurgery #MinimallyInvasiveSurgery #KeyholeSurgery #GeneralSurgery #RoboticSurgery #SurgicalEducation #DrRKMishra #WorldLaparoscopyHospital #MedicalEducation #FMAS
Daemons of the Shadow Realm directly referencing one of FMAs most infamous scenes was not on my bingo card for this show xD
Also, I would die for him/her -w- lol
Also, I would die for him/her -w- lol
August 6, 2026 at 2:01 PM
Daemons of the Shadow Realm directly referencing one of FMAs most infamous scenes was not on my bingo card for this show xD
Also, I would die for him/her -w- lol
Also, I would die for him/her -w- lol
Looking for some #FMAS2026 inspiration?
Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS
This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025).
FMAS brings together researchers working on a range of techniques for the formal…
www.youtube.com
July 21, 2026 at 4:01 PM
Looking for some #FMAS2026 inspiration?
Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
*Specifically because*... Come on!:
Lighting, 3D-audio panning, there's so much
FUN you can have with what's like, *just* 3 FMAs?!
Lighting, 3D-audio panning, there's so much
FUN you can have with what's like, *just* 3 FMAs?!
July 19, 2026 at 5:57 AM
*Specifically because*... Come on!:
Lighting, 3D-audio panning, there's so much
FUN you can have with what's like, *just* 3 FMAs?!
Lighting, 3D-audio panning, there's so much
FUN you can have with what's like, *just* 3 FMAs?!
Which technically, the FMAs probably have the MOST different creative teams between them, but you UNDERSTAND what I mean. (Also “technically” arakawa did write the first half of the anime in a way…) (Also according to Arakawa, they did consult her on the greater plot.)
July 9, 2026 at 2:35 AM
Which technically, the FMAs probably have the MOST different creative teams between them, but you UNDERSTAND what I mean. (Also “technically” arakawa did write the first half of the anime in a way…) (Also according to Arakawa, they did consult her on the greater plot.)
International Workshop on Formal Methods for Autonomous Systems (a peer-reviewed academic forum dedicated to the intersection of formal methods and autonomous/robotic systems) has left X (540 followers)
Bluesky: @fmasworkshop.bsky.social
Bluesky: @fmasworkshop.bsky.social
June 23, 2026 at 4:03 PM
www.laparoscopyhospital.com/SERV01.HTM
Heartfelt Poem After Laparoscopic Training at World Laparoscopy Hospital | Inspiring WLH Experience
#LaparoscopyTraining #Gynecology #WorldLaparoscopyHospital #FMAS #WLH #RoboticSurgery #Endoscopy #SurgicalSkills #WomenSurgeons #MedicalPoetry
Heartfelt Poem After Laparoscopic Training at World Laparoscopy Hospital | Inspiring WLH Experience
#LaparoscopyTraining #Gynecology #WorldLaparoscopyHospital #FMAS #WLH #RoboticSurgery #Endoscopy #SurgicalSkills #WomenSurgeons #MedicalPoetry
June 17, 2026 at 9:46 AM
www.laparoscopyhospital.com/SERV01.HTM
Heartfelt Poem After Laparoscopic Training at World Laparoscopy Hospital | Inspiring WLH Experience
#LaparoscopyTraining #Gynecology #WorldLaparoscopyHospital #FMAS #WLH #RoboticSurgery #Endoscopy #SurgicalSkills #WomenSurgeons #MedicalPoetry
Heartfelt Poem After Laparoscopic Training at World Laparoscopy Hospital | Inspiring WLH Experience
#LaparoscopyTraining #Gynecology #WorldLaparoscopyHospital #FMAS #WLH #RoboticSurgery #Endoscopy #SurgicalSkills #WomenSurgeons #MedicalPoetry
Hoy doy la formación de punto lila de las FMAS y vienen varios vínculos a escucharme.
Anxiety from Inside Out Says Hello Everybody!
ALT: Anxiety from Inside Out Says Hello Everybody!
static.klipy.com
June 10, 2026 at 9:18 AM
Hoy doy la formación de punto lila de las FMAS y vienen varios vínculos a escucharme.
Want to see the kind of work presented at FMAS?
Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas...
Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/
Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas...
Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/
May 29, 2026 at 8:00 AM
Want to see the kind of work presented at FMAS?
Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas...
Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/
Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas...
Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/
www.laparoscopyhospital.com/mmas.htm
Integrated Fellowship and Diploma in Minimal Access Surgery (F.MAS + D.MAS)
#IntegratedFellowship #DiplomaInMinimalAccessSurgery #FMAS #DMAS #MinimalAccessSurgery #LaparoscopicSurgery #LaparoscopyTraining #WorldLaparoscopyHospital
Integrated Fellowship and Diploma in Minimal Access Surgery (F.MAS + D.MAS)
#IntegratedFellowship #DiplomaInMinimalAccessSurgery #FMAS #DMAS #MinimalAccessSurgery #LaparoscopicSurgery #LaparoscopyTraining #WorldLaparoscopyHospital
May 28, 2026 at 7:11 AM
www.laparoscopyhospital.com/mmas.htm
Integrated Fellowship and Diploma in Minimal Access Surgery (F.MAS + D.MAS)
#IntegratedFellowship #DiplomaInMinimalAccessSurgery #FMAS #DMAS #MinimalAccessSurgery #LaparoscopicSurgery #LaparoscopyTraining #WorldLaparoscopyHospital
Integrated Fellowship and Diploma in Minimal Access Surgery (F.MAS + D.MAS)
#IntegratedFellowship #DiplomaInMinimalAccessSurgery #FMAS #DMAS #MinimalAccessSurgery #LaparoscopicSurgery #LaparoscopyTraining #WorldLaparoscopyHospital
yeah over the decades ive heard so many Opinions on both FMAs and its mixed enough where I'm just gonna bite the bullet and watch both to form my own opinion tbh. I'm really curious what differs and what doesnt
May 25, 2026 at 3:54 PM
yeah over the decades ive heard so many Opinions on both FMAs and its mixed enough where I'm just gonna bite the bullet and watch both to form my own opinion tbh. I'm really curious what differs and what doesnt
www.laparoscopyhospital.com/wlhusa.html
Feedback – World Laparoscopy Training Institute, USA | Surgeons Speak on Hands-On Excellence
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
Feedback – World Laparoscopy Training Institute, USA | Surgeons Speak on Hands-On Excellence
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
May 24, 2026 at 7:17 AM
www.laparoscopyhospital.com/wlhusa.html
Feedback – World Laparoscopy Training Institute, USA | Surgeons Speak on Hands-On Excellence
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
Feedback – World Laparoscopy Training Institute, USA | Surgeons Speak on Hands-On Excellence
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
www.laparoscopyhospital.com/wlhusa.html
Surgeon Testimonials – World Laparoscopy Training Institute, USA
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
Surgeon Testimonials – World Laparoscopy Training Institute, USA
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
May 22, 2026 at 9:30 AM
www.laparoscopyhospital.com/wlhusa.html
Surgeon Testimonials – World Laparoscopy Training Institute, USA
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
Surgeon Testimonials – World Laparoscopy Training Institute, USA
#minimalaccesssurgery #advancedsurgicalskills #surgeonstestimonials #USA #handson #surgeonsfeedback #fmas #laparoscopicfellowship
You can easily see the papers from past FMAS workshops through #DBLP
Last year's papers are up and available here dblp.dagstuhl.de/db/series/ep...
Check our back catalogue (dblp.dagstuhl.de/db/conf/fmas...) if you need some inspiration for your next paper.
#FMAS2026 #FAMS2025
Last year's papers are up and available here dblp.dagstuhl.de/db/series/ep...
Check our back catalogue (dblp.dagstuhl.de/db/conf/fmas...) if you need some inspiration for your next paper.
#FMAS2026 #FAMS2025
May 8, 2026 at 2:11 PM
You can easily see the papers from past FMAS workshops through #DBLP
Last year's papers are up and available here dblp.dagstuhl.de/db/series/ep...
Check our back catalogue (dblp.dagstuhl.de/db/conf/fmas...) if you need some inspiration for your next paper.
#FMAS2026 #FAMS2025
Last year's papers are up and available here dblp.dagstuhl.de/db/series/ep...
Check our back catalogue (dblp.dagstuhl.de/db/conf/fmas...) if you need some inspiration for your next paper.
#FMAS2026 #FAMS2025