2022 North American Annual Meeting of the Association for Symbolic Logic

Program and Schedule

Plenary Speakers:

Special Sessions:

Aspects of Logic and Machine Learning

  • James Freitag, University of Illinois, Chicago
  • Valentina Harizanov, George Washington University

Computability Theory

Homotopy Type Theory

Models of Peano Arithmetic

History and Philosophy of Logic

Set Theory

Retiring Presidential Address:


The Connes Embedding Problem, MIP*=RE, and Model Theory


Mathematical Logic in the Pandemic Era

ASL Meeting Daily Schedule
ASL Annual 2022 Long Program
ASL Annual 2022 Short Program



Program Committee:
Wesley Calvert, Southern Illinois University
Valentine Kabanet, Simon Fraser University
Justin Moore, Cornell University
Rehana Patel, African Institute for Mathematical Sciences, Senegal
Sanford Shieh, Wesleyan University
Jindrich Zapletal (Chair), University of Florida

Local Organizing Committee:
Bob Constable
Harold Hodes
Alexander Kocurkek
Dexter Kozen
Justin Moore (Chair)
Anil Nerode
Slawomir Solecki


All participants must register including participants who do not pay a registration fee (all students, Outreach, Unemployed, Emeritus, and Retired ASL members) or who have their registration fee waived (plenary speakers, tutorial speakers, local organizing committee members, and special session organizers).  All other participants must pay the registration fee, including special session speakers.

Participants are encouraged to preregister before the conference.  The ASL Office administers online preregistration and reimbursement of speaker and student travel expenses.

Participants can preregister online through the ASL Website.

Travel reimbursements are handled by the ASL office.  Plenary speakers, tutorial speakers, and student travel award recipients will be given instructions on how to receive their reimbursements.

There will be on-site registration; however, as stated, preregistration is preferred. 



A block of rooms have been reserved for a limited time at each hotel specifically for this event.  Please make sure to make your reservation by the dates indicated below. 

The Hotel Ithaca
Group rate:  $139.00
Group name:  Mathematical Logic Conference
Group ID:  5147
Guests can make reservations by calling (607) 272-1000 and providing the group name or by accessing our website, The Hotel Ithaca
and using the “Group Access Code”:  5147
Reservations must be made by March 1, 2021 to receive group rate.

Hilton Garden Inn Ithaca
Group rate:  $169.00
Group Name:  Mathematical Logic Conference
Online Group Code:  MATH22
Reservations can be made by calling 607-277-8900 or 877-STAY-HGI (toll-free) and asking for the group block, OR go online to www.ithaca.hgi.com and enter Group/Convention code: MATH22
Reservations must be made by March 7, 2022 to receive group rate.

Homewood Suites by Hilton
Group rate:  $159.00 King Studio; $169.00 One Bedroom King
Group Name:  CU Math Conference
Reservations must be made by March 6, 2022 to receive group rate.
Click here to Reserve a Room

Marriott Ithaca Downtown Commons
Group rate:  $169.00
Group name:  Mathematical Logic Conference
Reference#:  M-LGSFLLP
Reservations must be made by March 7, 2022 at 4:00 p.m.
Reservation link:  Book your group rate for Mathematical Logic Conference

Country Inn & Suites by Carlson
Group rate:  $139.00 King Suite, $149.00 2 Queen Suite
Group name:  Cornell Math Logic Conference
Reservations must be made by March 26, 2022

Econo Lodge
Group rate:  $119.00 1 Queen, $129.00 2 Queens
Group name and account #:  Cornell Math Logic Conference/4284174
Reservations must be made by March 26, 2022

Other options:

Best Western University Inn - https://www.reservations.com/hotel/best-western-university-inn-ithaca-ny
The Dorm Hotel - https://thedormhotel.com/
Super 8 - https://www.wyndhamhotels.com/super-8/ithaca-new-york/super-8-ithaca/


More Information

Scam notices and warnings:
We will never ask for credit card information over the phone or by e-mail, and all payments are processed by a secure link to Cornell Business Services.  If you have any questions regarding this please contact any of the organizers or the event conference coordinator.

Many conferences have been targeted by scammers who claim to be booking accommodation representatives, but in are seeking to obtain credit card or banking information fraudulently.

COVID-19 Information:

Cornell is continuing to follow and update COVID-19 guidelines from state and federal sources to help continue its successful efforts in keeping the Cornell community, visitors, and guests safe at Cornell.  Please refer to Covid CornellCovid-Visitors and Covid-Events on current guidelines and safety protocols.  These sites are frequently updated, and it's important to make sure to check them especially as we get closer to the event.


Cornell is committed to providing a safe, inclusive, and respectful learning, living, and working environment.  To this end, Cornell will not tolerate sexual and related misconduct.  Through Cornell University Policy 6.4, and the applicable procedures, the university provides means to address bias, discrimination, harassment, and sexual and related misconduct, including gender-based harassment, sexual harassment, sexual assault, domestic and dating violence, stalking and sexual exploitation.  Reports of bias, discrimination, and harassment can be made online at www.biasconcerns.cornell.edu or by contacting the Office of the University Title IX Coordinator at titleix@cornell.edu.

If you need special accommodations please contact Heather Peterson.

You can send any inquiries to math-asl@cornell.edu.