Section 14: Mathematical Aspects of Computer Science

Complexity theory and efficient algorithms. Parallelism. Formal languages and mathematical machines. Cryptography. Semantics and verification of programs. Computer aided conjectures testing and theorem proving. Symbolic computation. Quantum computing.
Connections with sections 1, 2, 3, 4, 12

Miklos Ajtai

IBM Almaden Research Center, San Jose, USA.

Joan Feigenbaum

AT&T Labs Research, Florham Park, USA.

Johan Håstad

Royal Institute of Technology, Stockholm, Sweden.

Toniann Pitassi

University of Arizona, Tucson, USA.

Madhu Sudan

MIT, Cambridge, USA.

Emo Welzl

ETH Zürich, Switzerland.

ICM'98 homepage

Please send suggestions and corrections to: helmberg@zib.de
Last modified: February, 1998