17-20 March 2010
Washington DC, U.S.A.
2010 ASL North American Annual Meeting Washington, D.C.
March 17--20, 2010
The twenty-first annual Gdel Lecture will be delivered by A.
Razborov. A tutorial will be offered by B. Coecke on ph{Quantum
Computing. The invited speakers include: Z. Chatzidakis, B. Kjos-
Hanssen, K. Landsman, L. Moss, D. Raghavan, T. Scanlon, E.
Schimmerling, H. Towsner, and R. Weber. Special sessions are planned
on categorical logic, computational complexity, logic and foundations
of physics, model theory, and set theory. The members of the Program
Committee are: W. Gasarch, J. Hamkins, A. Kolesnikov, R. Rynasiewicz,
P. Selinger, and R. Solomon (Chair). The Local Organizing Committee
includes: A. Enayat, A. Eskandarian, J. Chubb, M. Friend, J. Goodrick,
V. Harizanov (Chair), and A. Kolesnikov.
The complete program for this meeting is available at
http://aslonline.org/files/MeetingProgramAnnual10GWU.pdf
. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html
. For further information, visit the website below.
http://www.gwu.edu/~asl2010/