Schedule

Schedule

The 2024 North American Annual Meeting of the Association for Symbolic Logic will take place at Iowa State University in Ames, Iowa from May 14-17, 2024. Please note that last event of the meeting will end at 1pm on May 17, 2024. 

Detailed Schedule

Notes from Tutorials

Tuesday, May 14: 10:30 – 11:20 Tutorial Lecture 1: Anush Tserunyan (McGill University), How a logician proves pointwise ergodic theorems, part 1. Lecture 1 - ASL Tutorial Tserunyan.pdf

Wednesday, May 15: 10:30 – 11:20 Tutorial Lecture 2: Anush Tserunyan (McGill University), How a logician proves pointwise ergodic theorems, part 2. Lecture 2 - ASL Tutorial Tserunyan.pdf

Thursday, May 16: 10:30 – 11:20 Tutorial Lecture 3: Anush Tserunyan (McGill University), How a logician proves pointwise ergodic theorems, part 3. Lecture 3 - ASL Tutorial Tserunyan.pdf


Wednesday, May 15: 9:00 – 9:50 Tutorial Lecture 1: Ross Willard (University of Waterloo), The constraint satisfaction problem dichotomy theorem, part 1. Willard_lec1.pdf

Thursday, May 16: 9:00 – 9:50 Tutorial Lecture 2: Ross Willard (University of Waterloo), The constraint satisfaction problem dichotomy theorem, part 2. Willard_lec2.pdf

Friday, May 17: 9:00 – 9:50 Tutorial Lecture 3: Ross Willard (University of Waterloo), The constraint satisfaction problem dichotomy theorem, part 3. Willard_lec3.pdf