Our #UKRI TAS Verifiability Node programme has now officially kicked-off and today we are meeting the TAS Hub (UKRI TAS Hub) and partner Nodes: Functionality, Responsibility, Security, and Trust (UKRI TAS Node in Trust). Looking forward to exciting 3.5 years of research collaboration!

Congratulations to Prof Ivan Tyukin, co-Investigator and WP lead in our TAS Verifiability Node, who has been awarded a prestigious Turing AI Acceleration Fellowship to work on Adaptive, Robust and Resilient AI Systems for the Future. Well deserved! 👏👏👏 #UKRI #TuringAIFellows

5th Verifiability Talk "Testing for Adversarial Attacks and Instabilities in High-dimensional Data-driven AI Systems" by Turing AI Fellow Prof Ivan Tyukin. Thursday 10 Dec 16-17h GMT. Full details: verifiability.org/events Series: bit.ly/VerifiabilityC… #UKRI #TuringAIFellows

"Human-in-the-Loop? It’s all about Trust! Really? Hmm…" Join this exciting and intriguing #VerifiabilityTalk by Prof Effie Law (Leicester) on Thursday 11 Feb 4pm GMT. Joining details: verifiability.org/events #Trustworthy #AutonomousSystems UKRI TAS Hub UKRI TAS Node in Trust

Looking forward to this talk happening tomorrow Thursday at 4pm GMT. Open to all!

Funded PhD position (EPSRC iCASE) available at the University of York Department of Computer Science for work on "Human-Robot Interaction: modelling and verification". Further details, including eligibility criteria and application instructions at findaphd.com/phds/project/h…

Join us tomorrow for our Verifiability Talk on Intelligent Testing, given by Prof Kerstin Eder (BristolRoboticsLab University of BristolEng @BristolUni). Thursday February 25, 2021, 16:00 - 17:00 GMT More details: verifiability.org/events #UKVI #Robotics #EPSRC #TrustedAutonomousSystems

We are excited to announce our next Verifiability Talk titled "Personal Assistive Robotics" by Prof. Yiannis Demiris Yiannis Demiris Imperial EEE Imperial College London Thursday March 11 2021 16-17h GMT Find link at verifiability.org/events #UKVI #EPSRC #TrustedAutonomousSystems

Join us in less than an hour for our new Verifiability Talk: Jan Peleska (U of Bremen) will talk about Project HiDyVe – Highly Dynamic Virtual and Hybrid Validation and Verification. Meeting link at: verifiability.org/events #UKVI #EPSRC #TrustedAutonomousSystems

Join our Verifiability node by applying for this RA Position in Verification of Trustworthy Autonomous Systems with Prof Michael Fisher and Louise Dennis at The University of Manchester jobs.manchester.ac.uk/displayjob.asp…

Join us for Hana Chockler's Verifiability Talk titled "Why do things go wrong (or right)?" starting in two hours! Meeting link at verifiability.org/events

Excited to host Radu Calinescu UoY Computer Science for our Verifiability Talk 13 titled "Verification under uncertainty: probabilistic, parametric, confidence-interval, and statistical model checking" today. Meeting link: verifiability.org/events. Recording will be at youtube.com/channel/UCFc4t…

Join us today at 4pm (GMT+1) for our 15th Verifiability Talk on Automated Driving Systems Safety through Formal Requirements by Georgios Fainekos (public.asu.edu/~gfaineko). Meeting link at: verifiability.org/events @CIDSEASU ASU Ira A. Fulton Schools of Engineering Arizona State University #AutonomousSystems #Safety

Join our next Verifiability Talk titled "What we talk about when we talk about Trustworthy Autonomous Systems" by Joel Fisher (Joel Fischer) from Computer Science, Uni of Nottingham. Thursday 23 September 4-5pm UK time.

Join us in two hours for Jan Oliver Ringert's Verifiability Talk on Synthesis Technologies in Software Engineering. Meeting link at verifiability.org/events/