Logic List Mailing Archive

ASL Annual Meeting, May 2006, Montreal (Quebec)

2006 ASL Annual Meeting Montreal, Canada

May 17--21, 2006

The invited speakers include: E. Bouscaren, P. Kremer, C. LaFlamme, A. 
Montalb?n, J. Moore, P. Scott, H. Schwichtenberg, S. Shapiro, P. 
Speissegger, and B. Spitters. The Seventeenth Annual G?del Lecture will b
e 
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. The members of the 
Program Committee are: S. Feferman, S. Kuhlmann, D.A. Martin, P. 
Panangaden, S. Simpson, and M. Valeriote (Chair). The members of the Local
 
Organizing Committee include: L. B?lair, F. Lepage, M. Marion (Chair), an
d 
P. Panangaden.

Abstracts of contributed talks submitted by ASL members will be published
 
in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts
 
(see below). Abstracts must be received by the deadline of February 10, 
2006, at the ASL Business Office: ASL, Box 742, Vassar College, 124 
Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; 
email: asl@vassar.edu.

For further information, visit the website below.
http://asl2006.uqam.ca