🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

🚀 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

Breaking news: “Models might help; LLMs won't.” Keynote by Arie van Deursen at MODELS Conference #models2024

This is a whole new generation of Female PhD students at MODELS Conference #hope #SoftwareEngineering #FemaleRoleModels with three established members Judith Michael Lola Burgueño and Nelly Bencomo (me :) ) thanks to FAME School for making this possible! #womeninSTEM

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 ! iFM Mengwei Xu

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/conferenc… ETAPS Conferences (now on other platforms)

An absolute privilege to be hosted by the incredible Lindy Cameron UK in India🇬🇧🇮🇳, 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🙏

Our Research Director Prof Ibrahim Habli recently visited the team at The Alan Turing Institute 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.

Forthcoming machine learning and AI seminars: October 2024 edition ift.tt/aAnwg8B

Robot Talk is back!

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/conferenc… ETAPS Conferences (now on other platforms)

As well as FoSSaCS, the 10th is also the deadline for TACAS, ESOP round 2 and FASE

🚀 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

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/conferenc… ETAPS Conferences (now on other platforms)

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

An interview with Roderick Bloem has just been published at our blog! etaps.org/blog/026-roder…

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 iFM FMAS details: buff.ly/4hcCg7J Registration: buff.ly/4fwZq7h #FMAS2024 #ifm24

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

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

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/36… #HCI Responsible Ai UK UKRI TAS Hub @MakerCobot Science, Space & Robots UoN Science Nottingham Research ACM TOCHI