Upcoming Events

Video recordings will be made available on our Youtube Channel.

Verifiability Talk 34: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”

Speaker: Shankar Natarajan (SRI International)
Title: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”
Meeting Link: https://bit.ly/deriveformalmeth
Date: 19/05/2022
Time: 16:00-17:00 (BST)

      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