association for symbolic logic - computer sciencejcchubb/asl2010/public_html/img/poster… ·...
TRANSCRIPT
Program CommitteeW. Gasarch, J. Hamkins, A. Kolesnikov, R. Rynasiewicz, P. Selinger, andR. Solomon (Chair)
Organizing CommitteeJ. Chubb, A. Enayat, A. Eskandarian, M. Friend, J. Goodrick, V. Harizanov (Chair), and A. Kolesnikov
Abstracts of contributed talks from ASL members must be received by December 4, 2009at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Ave., Poughkeepsie,New York 12604, USA. Abstracts must satisfy ASL rules for abstracts. fax: (845) 437-7830 email: [email protected]
Photo courtesy Craig Schenk.
Quantum Computing TutorialB. Coecke (Oxford)
_
Invited LecturesZ. Chatzidakis (Paris)B. Kjos-Hanssen (Manoa)K. Landsman (Nijmegen)L. Moss (Bloomington)D. Raghavan (Toronto)T. Scanlon (Berkeley)E. Schimmerling (Pittsburgh)H. Towsner (Los Angeles)R. Weber (Hanover)
With partial support from The George Washington University
For the 2010 ASL Annual Meeting, applications and recommendations for the student travelaward should be received before the deadline of December 21, 2009, by the Program Committee Chair: Reed Solomon, Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556-4618 USA; fax: (860) 486-4238; email: [email protected]. Applications by email are preferred.
Meeting page: www.gwu.edu/~asl2010/ASL website: www.aslonline.org
2010 North American Annual MeetingGeorge Washington University
Washington, D.C.March 17 20, 2010
Association for Symbolic Logic
_
21st Annual Godel LectureAlexander Razborov(Chicago)
Special SessionsCategorical Logic
P. Hofstra (Ottawa)
Computational Complexity R. Lipton (Atlanta)
Logic & Foundations of Physics A. Doering (Oxford)
Model Theory C. Laskowski (College Park)
Set Theory S. Gao (Denton)