AISEC outputs


Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Bob Atkey, David Aspinall. 
The 18th Asian Symposium on Programming Languages and Systems
2020. Read here

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
Under submission
2021. Read here

Actions You Can Handle: Dependent Types for AI Plans

Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Workshop on Type-driven Development'21, at ICFP'21
2021. Read here


Safety for E2E Conversational AI: Opportunities and Challenges

Verena Rieser
The European Chatbot & Conversational AI Summit
February 4th & 5th, 2021

Neural network verification as program synthesis

Ekaterina Komendantskaya, Matthew Daggitt
The Katz Lab, the Hebrew University of Jerusalem
18th of March, 2021

Analyse, search, reason, interpret, verify: the “Maslow Pyramid” of AI modelling

Ekaterina Komendantskaya, Alasdair HIll
Invited talk at TAS Governance Node
23rd of June, 2021


Workshop - Safety for Conversational AI

Verena Rieser (program chair)
Safety for Conversational AI
October 17th, 2020

Special session - Safety for E2E Conversational AI

Verena Rieser (organising committee)
Special Interest Group on Discourse and Dialogue 2021
July 29th - 31st, 2021


How to make a chatbot that isn’t racist or sexist

Verena Rieser et al.
MIT Technology Review
23rd of October, 2020

Perfecting self-driving cars – can it be done?

Ekaterina Komendantskaya, Matthew Daggitt, Luca Arnaboldi
The Conversation
7th of April, 2021

Free Joomla! templates by Engine Templates