News

18 October 2023
Meet the team member: Atri Sharma

11 September 2023
Paper on verification of key point detection accepted at KR2023

09 August 2023
Panagiotis Kouvaros awarded prestigious IJCAI Early Career Spotlight Award

06 July 2023
SAIL (formerly VAS) Group has a paper on verification against LVM-based specifications accepted at CVPR23

08 June 2023
SAIL (formerly VAS) Group has a paper on verification-friendly networks accepted at IJCNN23

11 May 2023
SAIL (formerly VAS) Group has a paper on robust explanations accepted at AAMAS23

02 May 2023
SAIL (formerly VAS) Group has a paper on verification of agents accepted at AAMAS23

12 January 2023
SAIL (formerly VAS) Group holds Mini-Workshop with Boeing

29 December 2022
Meet the team member: Benedikt Brückner

23 November 2022
SAIL (formerly VAS) members have four papers accepted at AAAI 2023

14 October 2022
Meet the new team member: Maria Stoica

11 October 2022
Meet the new team member: Edward Stevinson

03 October 2022
Alessio Lomuscio gives keynote on Neural-Symbolic Multi-Agent Systems

31 March 2022
SAIL (formerly VAS) members have a paper published on JAIR

31 January 2022
SAIL (formerly VAS) members have a paper published on AIJ

13 December 2021
SAIL (formerly VAS) members have a paper accepted at SAC 2022

29 November 2021
SAIL (formerly VAS) members have a paper accepted at AAAI 2022

11 November 2021
SAIL (formerly VAS) members have a paper published on JAAMAS

02 November 2021
Two new PhD students join the group!

15 October 2021
SAIL (formerly VAS) members have two papers accepted at BMVC 2021

24 September 2021
SAIL (formerly VAS) members have a paper accepted at SEFM 2021

13 September 2021
Alexander Manta

19 July 2021
Verinet wins the Second Highest Score Award and is category winner for mnistfc at VNN-COMP’21

19 July 2021
Venus wins the Beat-Randgen Award at VNN-COMP’21

17 July 2021
SAIL (formerly VAS) members have a paper accepted at FM 2021

15 June 2021
SAIL (formerly VAS) members have a paper accepted at KR 2021

04 May 2021
Meet the new team member: Jianglin Lan

30 April 2021
SAIL (formerly VAS) members have four papers accepted at IJCAI 2021

19 October 2020
Meet the new team member: Ben Batten

13 October 2020
Alessio Lomuscio gives a talk at KR 2020

20 September 2020
Meet the new team member: Dr Yang Zheng

29 July 2020
SAIL (formerly VAS) members have a paper accepted at KR 2020

21 July 2020
SAIL (formerly VAS) group participates in VNN-COMP

12 July 2020
Results of the ARCH-COMP20 are out!

11 May 2020
SAIL (formerly VAS) members give talks at AAMAS 2020

19 April 2020
SAIL (formerly VAS) members have two papers accepted at IJCAI 2020

15 January 2020
SAIL (formerly VAS) members have a paper accepted at ECAI 2020

15 January 2020
SAIL (formerly VAS) members have two papers accepted at AAMAS 2020

10 November 2019
SAIL (formerly VAS) members have two papers accepted at AAAI 2020

30 October 2019
Francesco Leofante joins the group

28 October 2019
Alex presents at ATVA 2019

01 October 2019
Three new PhD students join the group!

01 March 2019
Safe & Trusted AI CDT

23 January 2019
SAIL (formerly VAS) members have two papers accepted at AAMAS 2019

01 November 2018
SAIL (formerly VAS) members have two papers accepted at AAAI 2019

08 October 2018
Elena Botoeva joins the group as a postdoctoral researcher

11 July 2018
SAIL (formerly VAS) members have two papers accepted at KR 2018

01 July 2018
Panagiotis Kouvaros re-joins the group as a postdoctoral researcher

22 June 2018
SAIL (formerly VAS) member wins international student award

16 April 2018
SAIL (formerly VAS) members have three papers accepted at IJCAI 2018

10 April 2018
Alessio Lomuscio awarded RAEng fellowship

01 March 2018
SAIL (formerly VAS) group is awarded a grant for the DARPA Assured Autonomy project

24 January 2018
SAIL (formerly VAS) members have two papers accepted at AAMAS 2018

01 October 2017
Three new PhD students join the group!