Quantum Computer Science: An Introduction N. David Mermin
Publisher: Cambridge University Press

The two scientists believe quantum computing will lead to a new generation of supercomputers that can model complex molecules, manage better databases, and even simulate larger quantum computers. CSL 2013 : 22nd EACSL Annual Conference on Computer Science Logic. One could think that we are still far from building a quantum computer. On the other hand, it is only an intro to complexity, devoting only one 50-page chapter to "advanced topics" (including approximation, probabilistic algorithms, IP=PSPACE, and crypto). The submission is in two stages. Quantum Computing for Computer Scientists by Yanofsky & Mannucci. You might think it sounds like nonsense, but quantum mechanics has proved itself in experiment after experiment and there is no doubt in the scientific community about its correctness. Another important area of logic in computer science is Proof Complexity, a study of three way relationship among complexity classes, weak logical systems, and propositional proof system. But a Canadian company seems to be much closer than the scientific community would have thought. Transformation of programs, logical aspects of quantum computing, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, non-monotonic reasoning. IMPORTANT DATES Abstract submission: April, 1st 2013 encouraged to include a well written introduction which is directed at all members of the program committee. In the upcoming years newer and much more capable computers might be introduced called “Quantum Computers”. Anyway, back to the quantum computer.