association for symbolic logic 2014 north american annual … · 2014. 3. 7. · association for...
TRANSCRIPT
Association for Symbolic Logic2014 North American Annual Meeting
University of Colorado, Boulder, May 19–22, 2014
Invited speakers: L. Barto, Charles University, Prague B. Csima, University of Waterloo V. de Paiva, Nuance Communications J. Hirst, Appalachian State University M. Hrusak, UNAM México A. Kolesnikov, Towson University A. Marks, California Institute of Technology M. C. Laskowski, University of Maryland S. Walsh, University of California, Irvine
Retiring Presidential Address: A. Wilkie, University of Manchester
Program Committee: M. Groszek (Chair), Dartmouth College A. Kanamori, Boston University K. Kearnes, University of Colorado J. Marikova, Western Illinois University S. Thomas, Rutgers University H. Towsner, University of Pennsylvania
Local Organizing Committee: N. Dobrinen, University of Denver G. Forbes, University of Colorado N. Galatos, University of Denver K. Kearnes (Chair), University of Colorado D. Monk, University of Colorado A. Szendrei, University of Colorado
Special Sessions: Logic and Algorithms for Higher-Order Computation (L. Ong and N. Kobayashi) Model theory (P. Hieronymi and J. Marikova) Philosophical aspects of games and social algorithms (E. Pacuit and R. Parikh) Recursion theory (O. Levin and R. Solomon) Set theory in honor of Rich Laver (J. Larson and W. Mitchell) Universal Algebra and Constraint Satisfaction (A. Szendrei and R. Willard)
Meeting Web Page: http://math.colorado.edu/asl2014/ ASL Web Page: http://www.aslonline.org/ ASL Business Office: Email: [email protected], Fax: 1-845-437-7830, Mail: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Abstracts: Due by Feb 21, 2014, at ASL Business Office (email preferred). For details, see ASL web page. Student Travel Support: Applications due by March 10, 2014, to Program Chair (email preferred). Follow application procedure at www.aslonline.org/studenttravelawards.html