Upcoming Events

Video recordings will be made available on our Youtube Channel.

Verifiability Talk 50: Shival Dubey

Details: TBA
      Subscribe (Google Calendar)          Subscribe (iCalendar / Outlook)  
×


On Outlook


1. Log in to outlook.com
2. Go to your calendar
2. Click "Add Calendar"
3. Click "Subscribe from Web"
4. Insert this link:
https://calendar.google.com/calendar/ical/gjgoc01lc9oba5edbg7j4nq9f8%40group.calendar.google.com/public/basic.ics
6. Click "Import" and customise your calendar



On iCalendar


1. Open iCalendar
2. Click "File"
3. Click "New Calendar Subscription..."
4. Insert this link:
https://calendar.google.com/calendar/ical/gjgoc01lc9oba5edbg7j4nq9f8%40group.calendar.google.com/public/basic.ics
5. Select "Every 5 mins" for "Auto-Refresh" option



Past Events

Verifiability Talk 49: “Co-verification for robotics: from simulation to verification”
Thursday, 23 March 2023 at
Verifiability Talk 48: Kirsten Rozier (Iowa State Engineering)
Thursday, 9 March 2023 at
Verifiability Talk 47: Noboko Yoshida
Thursday, 23 February 2023 at
Verifiability Talk 46: Oya Celiktutan
Thursday, 9 February 2023 at
Verifiability Talk 45: Noboko Yoshida (Imperial College)
Thursday, 26 January 2023 at
Verifiability Talk 44: “The Kaspar robot”
Thursday, 12 January 2023 at
Load More ....
Twitter feeds

Twitter Feeds

Please follow us on Twitter to receive instant updates on events, activities and news related to the node.

Join Us twitter

UKRI TAS Verif. NodeFollow

UKRI TAS Verif. Node
Retweet on TwitterUKRI TAS Verif. Node Retweeted
smr_mousaviMohammad Mousavi@smr_mousavi·
7 Mar 2022

On Thursday at 4pm GMT, we will host Natarajan Shankar (@SRI_Intl) with an exciting talk on Deriving Formal Models from Natural Language Requirements. Please join: https://verifiability.org/events/
@tas_verif @tas_hub @tas_function @tas_resilience @TAS_Security @tas_governance @tas_trust

Reply on Twitter 1500931749462818818Retweet on Twitter 15009317494628188186Like on Twitter 150093174946281881810Twitter 1500931749462818818
Load More...

RSS Feed Events