Upcoming Events

Video recordings will be made available on our Youtube Channel.

      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



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

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

Load More...

RSS Feed Events