Determination Problems for Orbit Closures and Matrix Groups14 January 2026· Slides given in Rennes at POPL 2026.