The program will unite researchers from a number of areas: algebraic and complex geometry, arithmetic geometry, Hodge theory, and mathematical physics. It will bring theoretically and computationally oriented researchers together, expecting that computations will illuminate conjectures made by the theorists and that theory will enlarge the range of what can be computed. We intend to develop databases of certain types of K3 surfaces for the L-Functions and Modular Forms Database and promote the development of software for computations on K3 surfaces in Magma, SageMath, or other systems for public release.