Formal Foundations of Algorithmic Matter and Emergent Computation MURI Kickoff Meeting