Use our registration form to request the joining instructions for upcoming seminars.
Please ensure you register by 12:00 GMT on the day of the seminar.
19th International Conference on Software Engineering and Formal Methods - 6 to 10 December 2021.*
SEFM 2021 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.
*SEFM 2021 will be an entirely virtual event (due to the COVID-19 pandemic)
TAS Hub All Hands Meeting, 14-16 September 2021
One of the main aims of the event is to get our community talking about their research, thinking about new directions it could take, and steering the overarching strategy of the Hub for the coming year. The programme will include panel sessions, interactive discussions, live workshops and networking opportunities. You’re invited to delve into a wide range of TAS activities before the event as the content is made available in advance, giving you plenty to choose from and opportunities to put your questions directly to researchers and partners.
To reserve your space on your selected workshops, take a look at the programme and add your sessions of interest to your agenda using the Whova app. Important - you can only book on to a session using the Whova mobile app.
Workshops titles include…
· A-HAH! Autonomous Healthcare at Home
· Inclusiveness and accessibility in the design of in-car Digital Assistants
· Specifying for Trustworthiness
· Effective Deployment of Subjective Measures and Questionnaires in HRI Studies
· Natural Language Interaction and Processing for Trustworthy Autonomous Systems
…and there are many more.
We're also excited to announce that our keynote speaker is Irakli Beridze, Head of the Centre for Artificial Intelligence and Robotics at UNICRI, United Nations. You can see a summary of the keynote theme in the programme - Wednesday 15th August, 13:00 - 13:30.
Day 2 (15th Sept/Main Programme) is open to the public - so please invite your networks to register
See the full programme and register here
TAS Hub Doctoral Training Network Seminars, starting 30 March 2021
Find out more to join the DTN seminars
TAS Node in Governance and Regulation Seminars, starting 9 June 2021
TAS Node in Security Seminars