News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

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.

Please note that this newsitem has been archived, and may contain outdated information or links.