13 - 15 May 2025, 2025 North American Annual Meeting of the Association for Symbolic Logic, Las Cruces, USA
Date: 13 - 15 May 2025
Location: Las Cruces, USA
Deadline: Thursday 13 February 2025
The 2025 North American Annual Meeting of the Association for Symbolic Logic will be held May 13-16, 2025 at New Mexico State University. There will be special sessions on Computability Theory, Model Theory, Combinatorics and Logic, Modal Logic, Set Theory and Proof Assistants.
For more information, see
https://math.nmsu.edu/asl-2025/index.html
or contact jweinberger at chapman.edu.