Special Sessions

• Logic and Algorithms for Higher-Order Computation
  (L. Ong & N. Kobayashi)
• Model theory
  (P. Hieronymi & J. Marikova)
• Philosophical aspects of games and social algorithms
  (E. Pacuit & R. Parikh)
• Recursion theory
  (O. Levin & R. Solomon)
• Set theory in honor of
  Rich Laver
  (J. Larson and W. Mitchell)
• Universal Algebra and Constraint Satisfaction
  (A. Szendrei and R. Willard)