AISEC outputs
Publications
Accuracy, training time and hardware efficiency trade-offs for quantized neural networks on fpgas
International symposium on applied reconfigurable computing
Neural network robustness as a verification property: a principled case study
International conference on computer aided verification
Compiling higher-order specifications to SMT solvers: How to deal with rejection constructively
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Talks
Safety for E2E Conversational AI: Opportunities and Challenges
The European Chatbot & Conversational AI Summit
Neural network verification as program synthesis
The European Chatbot & Conversational AI Summit
Analyse, search, reason, interpret, verify: the “Maslow Pyramid” of AI modelling
Invited talk at TAS Governance Node
From voice assistants to ChatGPT: Ethical and legal challenges of conversing with AI
IMPACT Symposium Berlin
Continuous Verification of Machine Learning: a Declarative Programming Approach
Chalmers Machine Learning for Functional Programmers interest group (24 November 2020) and TU Kaiserslautern (11 March 2021).
Refine and Synthesise: a type-theoretic view on neural network robustness
TYPES'22, the 28th International Conference on Types for Proofs and Programs
Continuous Verification of AI: a Declarative Programming Approach
PPDP'20, invited talk at the 22nd International Symposium on Principles and Practice of Declarative Programming
Interfacing NN verifiers with ITPs
Initial Types Club. Chalmers University of Technology.
AI Verification, in Need of Programming Language Support
invited talk at the SICSA annual conference
Refinement types for Verification of Neural Networks
invited talk at the Workshop on Program Semantics, Specification and Verification (PSSV)
Invited keynote speaker
1st European Chatbot Summit (ChatBot-2021)
Invited keynote speaker
7th International Conference on Machine Learning, Optimization & Data Science (LOD-2021)
Invited keynote speaker
8th IEEE Spoken Language Technology Workshop (SLT'21)
Invited keynote speaker
SigDial-2021 Young Researcher's Round Table on Spoken Dialogue Systems (YRRSDS-2021)
Invited keynote speaker
ICLR-2021 Workshop on Neural Conversational AI (NeuCAIR-2021)
Invited keynote speaker
ACL-2021 Workshop Document-grounded Dialogue (Doc2Dial'21)
High Risks at the High Court: Legal and ethical guidelines for AI in the justice system
The Center for Artificial Intelligence (C4AI) of the University of São Paulo's conference on Artificial Intelligence: Democracy and social impact, sponsored by IBM and FAPESP.
Building trustworthy and secure legal AI the Building trustworthy and secure legal AI
the 2nd UCP International Conference on Law Tech and Legal Education in Pakistan, Lahore
Evidence Law and AI
conference “Philosophy of Law Week”, Belgrade
XAI and XL: AI regulation as a design challenge: from the EU AI Act to the UK AI white paper
SICSA All Hands August 2023 - Future of AI
Invited to deliver a keynote speech
3rd int'l conference on Digital Rule of Law and Smart Justice, Huazhong University of Science and Technology, Wuhan
Invited to deliver a keynote speech
NeSyMAS Panel. NeSyMAS 2023: Neuro-symbolic AI for Agent and Multi-Agent systems workshop, at AAMAS, London
Bridging International Robotics and AI Grand Challenges: working with the Japanese MOONSHOT Initiative
the the Japanese MOONSHOT initiative
Integrated Neural Network Verification with Vehicle
Trustworthy Autonomous Systems Verifiability Node (TAS)
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
The 26th International Symposium on Practical Aspects of Declarative Languages
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
AI.BAY-Bavarian International Conference on AI
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
2022 IEEE Spoken Language Technology Workshop
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
Forum for Information Retrieval Evaluation -- South Asian counterpart to TREC
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
Special Session on Summarization of Dialogues and Multi-Party Meetings/ 2nd SummDial workshop (2022) AAAI-2022 workshop on the 10th Dialog Systems Technology challenge
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
SKEMA 2022 Business School Workshop on 'AI for Business: Opportunities and Challenges'
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
23rd EANN/18th AIAI 2022 Conference
Organisation
Workshop - Safety for Conversational AI
Safety for Conversational AI
Special session - Safety for E2E Conversational AI
Special Interest Group on Discourse and Dialogue 2021
Outreach
How to make a chatbot that isn’t racist or sexist
MIT Technology Review
Perfecting self-driving cars – can it be done?
The Conversation