Theoretical

Wikipedia article.

Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.

Research group in the Computing Laboratory, Oxford University.

Professor in Department of Mathematics at Purdue University.

University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.

FACS promotes the development of formal approaches of production of computer-based systems.

Research areas include design and analysis of algorithms, models of computation, and computational complexity.

Set of slides for lectures on LBA.

Rutgers, the State University of NJ.

University of Washington.

University of California, San Diego.

Pennsylvania State University.

Steklov Institute of Mathematics.

Brandenburgische Technische Universität Cottbus.

University of Waterloo.

Department of Computer Science and Engineering, University of North Texas.

Technische Universität München.

Harvard University.

A Wikipedia article which defines context sensitive languages in terms of context sensitive grammars which are defined in a linked article.

A set of slides defining these terms and showing that context sensitive languages are accepted by linear bounded automata.

Official website of the Institute for Quantum Computing. Based at the University of Waterloo, Canada.

Group lead by Hans J. Briegel at the Institute for Theoretical Physics, University of Innsbruck. Research work in quantum information theory and quantum entanglement.

Bibliography by Simon Gay gathering references to papers about theoretical aspects and implementations of quantum programming languages.

ICC conferences and related meetings. Last meeting as a satellite workshop of LICS'07.