ICM'98
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