08 November 2021
The 19th International Conference on Software Engineering and Formal Methods (SEFM 2021) conference program is now available and the (free) registration is open.
This online event will be held between 6-10 December 2021 and is jointly organised by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK) . It aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
1 October 2021
TAS Node in Resilience PI, Amel Bennaceur from the Open University, will be be presenting at "Positive Future of AI" organised by the Cambridge Women in Machine Learning & Data Science on 13th October 2021 from 5pm-6pm.
24 August 2021
As part of the UKRI TAS Hub All Hands Meeting from 14 to 16 September, 2021, several of the TAS Node in Resilience investigators and researchers will be giving pre-recorded talks, fireside chats and workshops. Day 2 (15 September) is open to the general public where you will be able to hear from our PI, Radu Calinescu from 9.30-10.30am. These fireside chats are your chance to ask questions about that research - so be sure to watch the talks beforehand
Go to the TAS Programme Fireside Chat and Q&A > Scroll down to see the talks > watch and prepare your discussions for the lively Fireside Chat with the six Node Principal Investigators on 15 September ** You’ll need to register for the event to watch the talks.
Did you know you can add your notes, questions, and chat directly with delegates in sessions on the event platform? You'll see these options available in each session, in the mobile Whova app.
You can see the entire programme and register here
16 June 2021
As part of the UK Festival of Robotics, the Advanced Manufacturing Research Centre (AMRC) and CSI:Cobot project are jointly hosting a manufacturing robotics challenge for young researchers, developers, and industrialists working in robotics and digital manufacturing technologies.
The challenge will be held remotely from the 19th to the 21st of July on the theme of collaborative robot safety. Participants will use digital twinning technology to develop solutions to the provided challenges, and drive real hardware at Factory 2050 in Sheffield. The event will bring together early career researchers and engineers from across disciplines to develop practical solutions to real-world problems in a competitive environment.
The event is open to final-year masters students, PhD students, early-career researchers, industrial engineers and others with relevant experience in areas including robotics, autonomous systems, computer vision, machine learning, augmented reality, and safety. Successful applicants will be arranged into small teams, based on skills and experience, and will compete against each other to complete a series of robotics challenges.
The Manufacturing Robotic Challenge 2021 is a follow up from the highly successful MRC 2019. This year the event will revolve around covid-19! Robots have revealed themselves as very valuable assets for the fight against coronavirus (Forbes, theGuardian). Participants will have the opportunity to control real and simulated robots to perform covid related tasks, such as CPR sample preparations and automated surface sterilisation. Training on ROS and safety methods for collaborative robotics will be provided on the first day! The event also includes fun team-building activities to remove the initial stiffness and awkwardness of virtual events!
The number of places is limited and the registration closes at midnight on 8th of July. A refundable £30 registration fee will be charged to secure attendance. Please follow this link to register.
Event agenda to be published soon!
10 June 2021
Four of the talks on the last day of the TAS/RUSI conference at the end of this month will be given by (or will involve) TAS Node in Resilience members.
RUSI and the UKRI TAS – Trustworthy Autonomous Systems Hub – present Trusting Machines? Cross-sector Lessons from Healthcare and Security from 30 Jun, 2021 - 2 Jul, 2021. You can join three days of debate with academic experts, policy leaders and industry professionals to discuss a future where autonomous machines integrate into two of our most vital sectors.
Imagination sparks ideas, so Trusting Machines? offers a gallery of AI art to challenge participants with bold visions of the present and possible futures.
27 May 2021
The 19th International Conference on Software Engineering and Formal Methods (SEFM 2021) will be held between 6-10 December 2021.* This event is jointly organised by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK) and aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Special topic at SEFM 2021: “Software Engineering and Formal Methods for Resilient and Trustworthy Autonomous Systems”
Resilient autonomous systems
Verification and assurance of autonomous systems
Mitigation of uncertainty and disruption in autonomous systems
Integration of conventional software and machine learning
Assurance patterns and assurance cases for autonomous systems
Abstract submission: Monday 19 July 2021 (AOE)
Paper submission: Friday 23 July 2021 (AOE)
Author notification: Friday 24 September 2021
Camera-ready submission: Friday 08 October 2021
*SEFM 2021 will be an entirely virtual event (due to the COVID-19 pandemic)
14 May 2021
12 April 2021
The Journal of Systems and Software (Elsevier) Special Issue on Software Engineering for Trustworthy Cyber-Physical Systems co-edited by Radu Calinescu (PI TAS Hub Node in Resilience) along with Danny Weyns and Tomas Bures
Project team members James Law and Mario Gleirscher, together with our collaborator James Douthwaite from the University of Sheffield, will give a presentation on the Safety of Collaborative Robots at the European Robotics Forum's 'TG-Safety - Needs and Challenges for Assuring the Safety of AI' workshop on 15 April 2021.
4 April 2021
The latest issue of Computing. (Volume 103, Issue 4) is now available online. This special issue on resilient software and software‑controlled systems (pp 1 to 79) has been edited by Radu Calinescu (PI TAS Hub Node in Resilience) and Felicita Di Giandomenico