Games at Harlow

What is it? A workshop on Combinatorial Game Theory!
When is it? May 4–6, 2026!

Following the successful Games at Dal and Games at Grenfell meetings, we are organising something just across the pond, in Harlow, England—the birthplace of fibre optics. It will be hosted by Memorial University of Newfoundland, just not at any of its Canadian campuses!

In particular, the workshop will be taking place in St. John's Hall in St. John's House. To aid in navigation, see MUN's guide for how to reach Harlow campus, and also a photo gallery of St. John's Hall.

There is no cost for attending.

Unfortunately, there will not be a lunch provided at the workshop, so we will have to discover suitable venues for ourselves.

Please fill out the RSVP form if you plan on coming.

If you have any questions or suggestions, then feel free to contact one of us!

Participants

Neil McKay
University of New Brunswick Saint John
Carlos Santos
ISCTE – University Institute of Lisbon & NovaMath, FCT NOVA, Portugal
Alda Carvalho
DCeT, Universidade Aberta & ISEG Research, University of Lisbon, Portugal
Bruno Borchardt
Hamburg University at Technology
Juri Barkey
Hamburg University of Technology
Svenja Huntemann
Mount Saint Vincent University
Alexander Allin
Technische Universität Hamburg
Urban Larsson
IIT Bombay
Rebecca Milley
Memorial University of Newfoundland
Tomasz Maciosowski
Memorial University of Newfoundland
Alfie Davies
Durham University / Memorial University of Newfoundland
Ethan Saunders

Plus a few stragglers, perhaps.

An updated schedule

The format will largely follow the previous Games at X meetings:

  1. 0900–0930: meet & greet

    Talks

    0930–1030: Neil McKay

    1030–1100: Carlos P. Santos

    1100–1115: Bruno Borchardt

    1115–1130: Urban Larsson

    1130–1145: Alda Carvalho

    1200–1330: lunch

    1330–1630: problem session (+ maybe a few talks running over from the morning)

  2. 0900–1200: more problems

    1200–1330: lunch

    1330–1630: yet more problems

    1845–(<2115): group dinner at The Green Man (attendees will need to pay for their own meal)

  3. 0900–1200: even more problems

    1200–1330: lunch

    1330–1630: problems are solved?

Talks

Neil McKay University of New Brunswick Saint John To be confirmed
Carlos P. Santos ISCTE-University Institute of Lisbon & NOVAMath, FCT NOVA A very nice law
Abstract.

There will be a discussion about bridges between Chess and Combinatorial Game Theory, while also paying a small tribute to Richard K. Guy (1916–2020) through a short story.

Bruno Borchardt Hamburg University at Technology Lazy Cops and Robbers on the Triangular Grid
Abstract.

The two-player game of lazy cops and robbers is played on a graph. In the initial round, the cops choose an initial vertex for each of their kk pieces. Then the robber chooses an initial vertex for his piece. Each round after that, the cops must move up to one of their pieces along an edge, after which the robber can also either move his piece or remain stationary. The cops have won if they reach the current robber position in some round. The robber wins otherwise.

For each graph GG, the lazy-cop-number of GG is the smallest integer kk, such that kk lazy cops have a winning strategy on GG. It is currently unknown whether this number is bounded for graphs of bounded genus. Known constructions of genus 0 with lazy-cop-number at least four exist. We present graphs of genus 0 and lazy-cop-number at least five and graphs of genus 1 and lazy-cop-number at least six. Both are confirmed by computer to have this trait. There further exists a computer-free argument for the genus 1 case with some hope to extend it to larger lazy-cop-numbers. Both graph classes are build up from triangle grids.

Urban Larsson IIT Bombay Additive subtraction games
Abstract.
We determine the full nim-value structure of additive subtraction games in the primitive quadratic regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type bracket expressions on rational moduli, for determining the P\mathscr{P}-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The primitive quadratic case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction by Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical P\mathscr{P}-positions.
Alda Carvalho DCeT, Universidade Aberta & ISEG Research, Universidade de Lisboa Some notes on green-lime hackenbush
Abstract.
In an impartial combinatorial game, both players have exactly the same options at every position of the game. Classical Sprague–Grundy theory provides a fundamental framework for the analysis of short impartial games, where play is finite, the number of options is limited, and no special moves occur. Over the years, several extensions of this theory have been developed to address more general settings. Notably, the Smith–Frankel–Perl theory applies to games in which infinite play is possible, while the Larsson–Nowakowski–Santos theory accommodates entailing moves that disrupt the usual behavior of the disjunctive sum. This talk introduces a generalization that combines these two approaches, making it possible to analyze cyclic impartial games with carry-on moves. Carry-on moves constitute a special class of entailing moves in which the responding player has no freedom of choice. The theory is illustrated through green-lime hackenbush, a game inspired by the classical game of green hackenbush.

(Joint work with: Tomoaki Abuku, Urban Larsson, Richard J. Nowakowski, Carlos P. Santos, Koki Suetsugu)

Problems

This section will be updated with the problems that we work on. We have a loose agenda of some approachable misère problems, but if you have a suggestion (even a vague one), then let me know and I can put it here.