# Homotopy Type Theory and Computing – Classical and Quantum

Conference

WHEN
April 19-21, 2024

WHERE
NYU Abu Dhabi
WHO
NYUAD Center for Quantum and Topological Systems
By Invitation
Interested scholars please contact nyuad.cqts.info@nyu.edu