Urs Schreiber Effective Quantum Certification Via Linear Homotopy Types

Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ...

Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ...

aboutlogic #12 | In this episode of aboutlogic, we're joined by @UrsSchreiber, a senior scientist at New York University Abu Dhabi ...

Homotopy Type

Mini-course given by

Mini-course given by

Mini-course given by

for details see: https://ncatlab.org/nlab/show/CQTS#SchreiberSep2023.

Mini-course given by

for details see here: https://ncatlab.org/nlab/show/Center+for+

details at: https://ncatlab.org/nlab/show/M-Theory+and+Mathematics#Schreiber2023.

for details see: https://ncatlab.org/nlab/show/CQTS#TorzewskaDec2023.

Urs Schreiber's

lightning talk at "AI & Evolution Gathering" organized by Softmax @ The Royal Institution, London (22 May 2025) --- for details see: ...

Video invitation to our article of the same title, see: https://ncatlab.org/

for details see https://ncatlab.org/