**2013 ASL North American Annual Meeting** *Waterloo, Ontario, Canada*

*May 8–May 11, 2013*

The invited speakers include: U. Andrews, M. Aschenbrenner, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. Viale, V. Voevodsky, and F. Wagner.

The following special sessions also are planned: Applications of logic to operator algebras, Computable structures/model theory, Differential categories and differential lambda calculi, Model theory, Set theory, and Univalent foundations.

Special Session on Set Theory

(Organized by James Cummings and Menachem Magidor)

Session A, WEDNESDAY, MAY 8

Room MC 1056

2:00 – 2:40 Anush Tserunyan, Generic finite generators.

2:50 – 3:30 Marcin Sabok, Ergodicity and canonization.

Session B, WEDNESDAY, MAY 8

Room MC 2065

4:00 – 4:40 Laura Fontanella, Strong combinatorial properties at small cardinals

4:50 – 5:30 Sean Cox, Some consistency results about saturated ideals.

Session C, THURSDAY, MAY 9

Room MC 2017

2:00 – 2:40 Natasha Dobrinen, Initial structures in the Tukey types of non-p-points.

2:50- 3:30 Dilip Raghavan, Combinatorial dichotomies and cardinal invariants.

Session D, SATURDAY, MAY 11

Room QNC 1506

9:50 – 10:30 Miguel Angel Mota, On a question of Abraham and Cummings.

10:40 – 11:20 John Krueger, Forcing with adequate sets of models as side

conditions.

Special Session on Applications Of Logic To Operator Algebras

(Organized by Bradd Hart and Asger Tornquist)

Session A, THURSDAY, MAY 9

Room MC 4045

2:00 – 2:40 David Sherman, Some model-theoretic results about operator algebras.

2:50 – 3:30 Isaac Goldbring, Recent developments in the model theory of tracial von Neumann algebras.

Session B, THURSDAY, MAY 9

Room MC 4045

4:00 – 4:40 An Speelman, The classication of Cartan subalgebras up to automorphisms can be complete analytic.

4:50 – 5:30 Martino Lupini, Unitary equivalence of automorphisms of C*-algebras.

Session C, THURSDAY, MAY 9

Room MC 4045

5:40 – 6:20 Tristan Bice, Traces and Ultrapowers.

Session H, FRIDAY, MAY 10

Room MC 4045

5:40 – 6:00 Will Boney, Tameness from large cardinal axioms.

6:05 – 6:25 Konstantinos A. Beros, Universal subgroups of Polish groups.

The members of the Program Committee are: S. Awodey, I. Farah (Chair), A. Kanamori, R. Moosa, J. Reimann, and P. Scott. The Local Organizing Committee includes: S. Ben-David, B. Csima (Chair), D. DeVidi, R. Moosa, and R. Willard.

Abstracts of contributed talks submitted by ASL members will be published in * The Bulletin of Symbolic Logic* if they satisfy the Rules for Abstracts (see above). Abstracts must be received by the deadline of February 11, 2013, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.