The 9th International Workshop on Symbolic and Numerical Reasoning about games

The 9th International Workshop on Symbolic and Numerical Reasoning about Games, co-located in Liverpool, brings together AI researchers exploring formal methods, game theory, and mathematical reasoning for game-playing systems and multi-agent environments. Topics include symbolic AI approaches to game-tree search, numerical optimisation in game strategies, probabilistic reasoning under uncertainty, formal verification of game-playing agents, and the intersection of classical game theory with modern deep reinforcement learning. The workshop provides a focused venue for researchers working on rigorous, principled approaches to reasoning in competitive and cooperative game settings.