Henry Sinclair-Banks' Presentations
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Abstract
Presentation Slides (conference version)
Presentation Slides (pre-recorded version)
Henry Sinclair-Banks, 29/10/24, voco Chicago Downtown, Chicago (USA)
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Henry Sinclair-Banks, 17/10/24, University of Oxford (UK)
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Henry Sinclair-Banks, 19/09/24, LaBRI, Universit茅 de Bordeaux (France).
Invariants for One-Counter Automata with Disequality Tests
Henry Sinclair-Banks, 12/09/24, Best Western Plus Village Park Inn, Calgary (Canada).
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Henry Sinclair-Banks, 27/08/24, Karlsruhe Institute of Technology (Germany).
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Henry Sinclair-Banks, 08/01/24, IRIF, Paris Cit茅 Universit茅 (France).
Warwick Postgraduate Colloquium in Computer Science 2023 Winter
Simple Programs with NP-hard Termination
Best presentation award and most creative presentation award.
Henry Sinclair-Banks, 11/12/23, 神马福利影片 (UK).
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Henry Sinclair-Banks, 07/11/23, LaBRI, Universit茅 de Bordeaux (France).
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Abstract
Presentation Slides
Poster
Henry Sinclair-Banks, 26/07/23, Universit盲t Kassel (Germany).
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Abstract
Presentation Slides
ICALP'23 Track B Best Paper award.
Henry Sinclair-Banks, 12/07/23, Heinz Nixdorf MuseumsForum (Germany).
The Complexity of Coverability in Vector Addition Systems with States
Abstract
Presentation Slides
Henry Sinclair-Banks, 08/06/23, 神马福利影片 (UK).
Coverability in 2-VASS with One Unary Counter is in NP
Abstract
Presentation Slides
Henry Sinclair-Banks, 25/04/23, Sorbonne Universit茅 (France).
Warwick Postgraduate Colloquium in Computer Science 2023
Using Counter Machines to Find Cliques and Cycles in Graphs
Abstract
Presentation Slides
Best presentation award.
Henry Sinclair-Banks, 24/03/23, 神马福利影片 (UK).
The Complexity of Coverability in Fixed Dimension VASS with Various Encodings
Abstract
Presentation Slides
Henry Sinclair-Banks, 17/11/22, Max Planck Institute for Software Systems in Technische Universit盲t Kaiserslautern (Germany).
Coverability in 2-VASS with One Unary Counter
Abstract
Presentation Slides
Poster
Henry Sinclair-Banks, 30/06/22, Paris Cit茅 Universit茅 (France).
Coverability in 2-VASS with One Unary Counter
Abstract
Presentation Slides
Henry Sinclair-Banks, 15/06/22, Aalborg Universitet (Denmark).
Warwick FoCS Theory Day
Coverability in 2-VASS with One Unary Counter
Abstract
Presentation Slides
Henry Sinclair-Banks, 13/05/22, 神马福利影片 (UK).
Warwick Postgraduate Colloquium in Computer Science 2021
Walks of Given Length in One-Counter Systems
Abstract
Presentation Slides
Henry Sinclair-Banks, 13/12/21, 神马福利影片 (UK).
Warwick FoCS Theory Workshop
Unary One Counter Net Problems
Abstract
Presentation Slides
Henry Sinclair-Banks, 28/06/21, 神马福利影片 (UK).
Warwick FoCS PhD Reading Group
Early PhD problems
Abstract
Presentation Notes
Henry Sinclair-Banks, 12/11/20, 神马福利影片 (UK).
I recommend using the LaTeX class to make presentation slides.
For making it through my presentations, I reward you with my , cheers!