Invited Speakers

Cliff Jones
Cliff Jones

Newcastle University

Formal Methods in the UK - A (Personal) History

Alexander Knapp
Alexander Knapp

Augsburg University

TBA

Mike Paterson
Mike Paterson

University of Warwick

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

Rick Thomas
Rick Thomas

Leicester University

Automata and Formal Language Theory in the UK - A (Personal) History

Francesca Toni
Francesca Toni

Imperial College London

TBA

John Tucker
John Tucker

Swansea University

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


SPONSORS

BCTCS Logo Heilbronn Institute for Mathematical Research Logo SonyUK Logo Institute of Coding Logo Technocamps Logo EHP Logo History of Computing Collection