Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
UK, Germany, Ireland , Italy
Joined October 2018
- Tweets2.8K
- Following1.3K
- Followers592
- Likes2.8K
A and V Network retweeted
Interested in Embodied #design #AI #Art #data? Check out our #OpenAccess Research paper from #CHI 2024
⭐️Designing Multispecies Worlds for #Robots, Cats, & Humans
dl.acm.org/doi/10.1145/36139…
#HCI @responsibleaiuk @tas_hub @MakerCobot @science @UoNScience @UoNresearch @acmtochi
A and V Network retweeted
Getting a bit fed up of Twitter, but don’t want to miss out on all the great posts about women STEM? Why not pop over to Bluesky and follow us there? adalovelaceday.bsky.social
ALT Text says: Why not drop by Bluesky for a chat? adalovelaceday.bsky.social
A and V Network retweeted
Last week was the 6th International Workshop on Formal Methods for Autonomous Systems held in Manchester.
The proceedings are out so you can read the 14 papers from #FMAS2024, each using Formal Methods to tackle the challenges of Autonomous Systems! buff.ly/3ZigOaf
ALT The front of the Core Technology Facility, in Manchester. A brick, metal, and glass facade. The sun is shining weakly.
ALT A group of people, all attending the FMAS workshop. Everyone is looking at the camera, some smiling. But everyone looks like they had a nice time, at least.
ALT The front of the Whitworh Gallery in Manchester, a red-brick Victorian building, with a semi-circular portico as its main entrance. There are some leaves on the floor; it is Autumn and the trees have turned almost as red as the building's bricks, slowly fluttering to the floor.
A and V Network retweeted
This year's edition of the workshop on Formal Methods for Autonomous Systems is coming soon!
11th to 13th of November, in Manchester (UK) alongside @iFMconf
FMAS details: buff.ly/4hcCg7J
Registration: buff.ly/4fwZq7h
#FMAS2024 #ifm24
A and V Network retweeted
The deadline for submissions is still the 10th AoE (i.e., in ~2 hours), but submitted papers can now be polished until the 14th AoE
A and V Network retweeted
An interview with Roderick Bloem has just been published at our blog!
etaps.org/blog/026-roderick-…
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) deadline is coming!
Deadline: 10th Oct AoE
TACAS is a forum for researchers, developers & users interested in rigorous approaches for system construction and analysis.
etaps.org/2025/conferences/t…
@ETAPSconf
A and V Network retweeted
🚀 Join us at #REFSQ2025 for the Industry Keynote: Digital Design - even more so in agile!
👤 Speaker: Ute Nause, Managing Director at BettercallPaul.
Discover 10 rules for successful design in agile, based on Ute’s 30+ years in IT & German automotive.
#Agile #DigitalDesign
A and V Network retweeted
The Foundations of Software Science and Computation Structures (FoSSaCS) deadline is near!
Deadline: 10th of October AoE
FoSSaCS seeks foundational research with a clear significance for software science, inviting work on software analysis.
etaps.org/2025/conferences/f…
@ETAPSconf
A and V Network retweeted
Our Research Director Prof @IHabli recently visited the team at @turinginst to record an episode for #TheTuringPodcast.
Keep your eyes peeled for the episode on the theme of #AIsafety and the importance of collaborative and mulltidisciplinary research to come.
ALT Three men, one has white skin, brown hair and is wearing a teal tshirt and grey jeans, the second man has white skin and brown hair and is wearing glasses and a dark grey jumper, the third man has white skin, a bald head and is wearing a mid-blue shirt. They are all smiling to the camera in a podcast recording studio with speakers and laptops in the room.
A and V Network retweeted
An absolute privilege to be hosted by the incredible @Lindy_Cameron @UKinIndia, in #Delhi #India last week. We’re excited to build even stronger connections under the #UKIndia Technology and Security Initiative!
Here’s to many more collaborations as part of this #LivingBridge🙏
A and V Network retweeted
Forthcoming machine learning and AI seminars: October 2024 edition ift.tt/aAnwg8B
A and V Network retweeted
As well as FoSSaCS, the 10th is also the deadline for TACAS, ESOP round 2 and FASE
The Foundations of Software Science and Computation Structures (FoSSaCS) deadline is near!
Deadline: 10th of October AoE
FoSSaCS seeks foundational research with a clear significance for software science, inviting work on software analysis.
etaps.org/2025/conferences/f…
@ETAPSconf
The Foundations of Software Science and Computation Structures (FoSSaCS) deadline is near!
Deadline: 10th of October AoE
FoSSaCS seeks foundational research with a clear significance for software science, inviting work on software analysis.
etaps.org/2025/conferences/f…
@ETAPSconf
Countdown to Fundamental Approaches to Software Engineering (FASE) 2025!
Deadline: 10th of October AoE
FASE is concerned with the foundations on which Software Engineering is built: inc. AI-driven methods, low-code, and V&V techniques.
etaps.org/2025/conferences/f…
@ETAPSconf
A and V Network retweeted
The notifications are out, and we would like to thank everyone who sent us their work, and to thank the Programme Committee for their hard work in reviewing the papers.
We hope to see as many of you as possible in Manchester for #FMAS2024 and #iFM24 !
@iFMconf @xu_mengwei
A and V Network retweeted
🚀 Call for Workshops at REFSQ 2025! 🚀
Collaborate, innovate, and shape the future RE. How? lead a workshop!
🗓️ Deadline: Fri 25 Oct 2024
🔗 Submit Here: easychair.org/conferences/?c…
Make an impact! 🌟
#REFSQ2025 #CallForWorkshops #RequirementsEngineering
A and V Network retweeted
This is a whole new generation of Female PhD students at @modelsconf #hope #SoftwareEngineering #FemaleRoleModels with three established members @JudithMichael_ @LolaBurgueno and @nellybencomo (me :) ) thanks to @FAME_School_MDE for making this possible! #womeninSTEM
Ladies@FAME 🫶 with @nellybencomo and @LolaBurgueno. It was a pleasure to meet and discuss with the next generation of great researchers at the Int. School on Foundations and Advances of Model-Based Engineering @FAME_School_MDE!
fame-school.github.io/
