Quantum Computation and Information Seminar

Sessions

20/10/2006, 16:30 — 17:30 — Room P3.10, Mathematics Building
Jaime Ramos, Instituto Superior Técnico

Towards exogenous quantum first-order logic (conclusion)

Conclusion of the previous talk.

Please note exceptional time and room

Supported by: Phys-Info (IT), SQIG (IT), CeFEMA and CAMGSD, with funding from FCT, FEDER and EU FP7, specifically through the Doctoral Programme in the Physics and Mathematics of Information (DP-PMI), FCT strategic projects PEst-OE/EEI/LA0008/2013 and UID/EEA/50008/2013, IT project QuSim, project CRUP-CPU CQVibes, the FP7 Coordination Action QUTE-EUROPE (600788), and the FP7 projects Landauer (GA 318287) and PAPETS (323901).

7th Framework Programme