Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

17-21 May 2006, ASL Annual Meeting 2006, Montreal, Canada

Date: 17-21 May 2006
Location: Montreal, Canada

The Seventeenth Annual Gödel Lecture will be given by P. Martin-Löf, and a tutorial on quantum information theory will be offered by P. Selinger. The invited program also includes a symposium to commemorate the centennial of the birth of Gödel, in which J. Avigad, S. Friedman, and A. Kanamori will speak. Special sessions are planned in categorical logic/quantum information theory, effective aspects of measure theory and analysis, model theory, and set theory.

For more information, an online registration form and a preliminary program, see http://asl2006.uqam.ca/

Please note that this newsitem has been archived, and may contain outdated information or links.