2007 ASL Annual Meeting Gainesville, Florida March 10--13, 2007 The Program Committee members are: M. Aschenbrenner, M. Dzamonja (Chair), N. Immerman, J. Larson, J. Miller, and J. Tappenden. The members of the Local Organizing Committee include: D. Cenzer, G. Emch, W. Mitchell, G. Ray, M. Sitharam, and J. Zapletal (Chair).