Automated Reasoning for Quantum Mechanics

A WE Heraeus - Lorentz Workshop bringing together physics and computer science experts to develop automated reasoning techniques for quantum mechanics. The workshop aims to realize new formalisms for representing and processing quantum information and to combine strengths of existing approaches. It addresses simulation and analysis of quantum mechanical systems and their combinatorial challenges.