Quantum Computation and Information Seminar

Sessions

11/03/2005, 15:00 — 16:00 — Room P4.35, Mathematics Building
Amílcar Sernadas, Instituto Superior Técnico

Proof of the weak completeness of EQPL (conclusion)

Conclusion of the previous talk.

Joint session with <a href="http://sem.math.ist.utl.pt/clc/"> LCSeminar</a>.

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