Program and Schedule
Plenary Speakers:
- Will Boney, Texas State University
- Juliet Floyd, Boston University
- Meng-Che "Turbo" Ho, California State University Northridge
- Michael Hrusak, National Autonomous University of Mexico, Morelia
- H. Jerome Keisler, University of Wisconsin
- Alexander Razborov, The University of Chicago
- Robin Tucker-Drob, University of Florida
- Avi Wigderson, Institute for Advanced Study, Princeton
Special Sessions:
Aspects of Logic and Machine Learning
- James Freitag, University of Illinois, Chicago
- Valentina Harizanov, George Washington University
Computability Theory
- Antonio Montalban, Berkeley
Homotopy Type Theory
- Emily Riehl, Johns Hopkins University
Models of Peano Arithmetic
- Roman Kossak, City University of New York
History and Philosophy of Logic
- Lydia Patton, Virginia Tech
Set Theory
- Slawomir Solecki, Cornell University
Retiring Presidential Address:
- Julia Knight, University of Notre Dame
Tutorial:
The Connes Embedding Problem, MIP*=RE, and Model Theory
- Isaac Goldbring, University of California, Irvine
Panel:
Mathematical Logic in the Pandemic Era
- Johanna Franklin, Hofstra University
- Deirdre Haskell, McMaster University
SCHEDULE
ASL Meeting Daily Schedule
ASL Annual 2022 Long Program
ASL Annual 2022 Short Program
Organization
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
Preregistration
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.
Accommodations
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/
Travel Information
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 Cornell, Covid-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.
Inclusivity:
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.