Ursula Whitcher and I are planning to apply to hold a weekend workshop
at BIRS next March.
The idea is to do SageMath development related to K3 surfaces and irreducible holomorphic symplectic manifolds (IHSMs/Hyperkähler).
Their geometry is accessible through their second integral cohomology group which is an indefinite lattice.
Our (possible) goals are to implement SageMath functionality for
- indefinite lattices,
- isometries,
- modeling Hodge structures/Hodge isometries,
- elliptic fibrations on K3 surfaces,
- point counting.
Ideally the date is March 11-12.
If you are interested in attending, please let us know.
Best
--Simon