AISEC news

LAIV seminar: A formal context for metric semantics

This week's seminar is:   Radu Mardare, University of Strathclyde Title: A formal...

AISEC seminar: Combining Task & Environment Specifications to Verify Robot Safety

This week's seminar is:   Craig Innes, University of EdinburghTitle: Combining...

AISEC seminar: Neural Network Robustness – Careful what you verify!

This week's seminar is:   Matthew Daggitt, Heriot-Watt UniversityTitle:...

AISEC seminar: Learning weighted automata

This week's seminar is:   Clemens Kupke, University of StrathclydeTitle:...

AISEC seminar: Robust Plan-Based Robot Control

This week's seminar is:   Bruno Gavranović, University of StrathclydeTitle:...

AISEC seminar: Robust Plan-Based Robot Control

This week's seminar is:   Dr Michael Cashmore, University of Strathclyde

AISEC seminar: Programming with Quantitative Types in Idris 2

This week's seminar is:   Edwin Brady, University of Edinburgh,...

AISEC blog: the pitfalls of misdefining adversarial robustness

A tale of two definitions

In the

AISEC blog: Introducing policies for neural networks

One of the key advantages of neural networks over other traditional algorithms is their ability to learn models from data that we ourselves as...

AISEC seminar: Computational law – mapping the landscape

This week's seminar is:   Burkhard Schafer, University of Edinburgh,...

AISEC seminar: Norms, Policy and Laws: Modelling, Verification and Monitoring

This week's seminar is by Marina De Vos'.   Marina De Vos', University of Bath,...

AISEC seminar: An Introduction to the Imandra Automated Reasoning System

This week's seminar is by Grant Passmore on the Immandra Automated Reasoning System.   Grant Passmore,...

AISEC seminar: Formal Verification of Higher-order Probabilistic Programs

This week's seminar is by Professor Marco Gaboardi on higher-order probabilistic programs.   Marco Gaboardi, Boston...

AISEC seminar: Research Challenges and Opportunities towards Safe Autonomous Driving

Next week's seminar is by Dr Chih-Hong Cheng on safe autonomous driving.   Chih-Hong Cheng, Denso Automotive...

AISEC seminar: Semantics of Programming Languages - an AI Planning Perspective

This week's seminar is a talk by Alasdair Hill on his PhD work .   (

AISEC seminar: Verifying Recurrent Neural Networks using Invariant Inference

This week's seminar is a talk by Dr Guy Katz on his work on verifying properties of recurrent neural networks.   (

AISEC seminar: An introduction to algebraic routing theory

This week's seminar is a talk by Matthew Daggitt on his PhD work on the verification of computer (not neural!) networks routing protocols...

AISEC Seminar: Cybersecurity and Future Mobility

We are very excited to open the project with a great program of project-related talks!

We are starting this Wednesday, ...

The AISEC project goes live!

The AISEC project has officially begun

Free Joomla! templates by Engine Templates