Invited Speakers

Cliff Jones
Cliff Jones

Newcastle University

Formal Methods in the UK - A (Personal) History

Alexander Knapp
Alexander Knapp

Augsburg University

Specifying Event/Data-based Systems

Mike Paterson
Mike Paterson

University of Warwick

Algorithms and Complexity Theory in the UK - A (Personal) History

Rick Thomas
Rick Thomas

University of Leicester / University of St Andrews

Some Interactions Between Automata Theory and Algebraic Structures in the UK - A (Personal) History

Francesca Toni
Francesca Toni

Imperial College London

Argumentative Explainable AI

John Tucker
John Tucker

Swansea University

Logic and Semantics in the UK - A (Personal) History

Special Session Speakers (Invited): Security

Martin Barrere
Martin Barrere

Imperial College London

Trustworthy Critical Infrastructure Systems

Arnold Beckmann
Arnold Beckmann

Swansea University

Blockchain-based Cyber-Physical Trust Systems and their Application

Pardeep Kumar
Pardeep Kumar

Swansea University

Young People’s Awareness and Habits on Cybersecurity

Hoang Nga Nguyen
Hoang Nga Nguyen

Coventry University

Towards systematic threat assessment and security testing for automotive OTA

Special Session Speakers (Invited): Explainable AI

Hsuan Fu
Hsuan Fu

Université Laval

XAI in the finance & economics studies

Adam Wyner
Adam Wyner

Swansea University

Explainability in AI and Law


SPONSORS

BCTCS Logo Heilbronn Institute for Mathematical Research Logo Engineering and Physical Sciences Research Council Logo Institute of Coding Logo Technocamps Logo EHP Logo History of Computing Collection SonyUK Logo