–
Room P3.10, Mathematics Building
Jaime Ramos, Instituto Superior Técnico
Towards exogenous quantum first-order logic (Part 2)
Continuation of the seminar of October 13.
Joint session with Quantum Computation and Information Seminar.