[TYPES/announce] Call for constributions: ASL Special Session on Proof Assistants

[Patricia Johann]

========================================
Call for Participation and Contributions

North American ASL Meeting
Special Session on Proof Assistants

May 15 & 16, 2025
New Mexico State University, Las Cruces, NM

========================================

A Special Session on Proof Assistants will be held as part of the 2025 
North American Annual Meeting of the Association for Symbolic Logic. The 
whole ASL meeting will take place May 13-16, while the special session on 
proof assistants will take place on the last two days May 15 & 16.

The confirmed invited speakers are:

       Favonia (University of Minnesota)
       Leonardo de Moura (Amazon Web Services)
       Emily Riehl (Johns Hopkins University)
       Egbert Rijke (Johns Hopkins University)
       Mike Shulman (University of San Diego)

General information about the meeting is at: 
https://urldefense.com/v3/__https://math.nmsu.edu/asl-2025/index.html__;!!IBzWLUs!VlLvbNvgRuB-I3Dwh4fzFYWqtFfXmAApmn6I285bt1KWifLuyvUqxblEXQlj_BFa5_kQR5e70Ofbid66N7GivL6j1kH6W5ih_Q$ 

There is some limited capacity for contributed talks (duration approx. 20 
minutes):

The deadline for contributed talk submissions is Thursday, February 27, 
2025. Abstracts should be sent to Jonathan Weinberger at 
jweinberger at chapman.edu and Patricia Johann at johannp at appstate.edu. 
Reviewing of abstracts will be lightweight.

Abstracts must abide by the rules listed on this page: 
https://urldefense.com/v3/__https://aslonline.org/rules-for-abstracts/__;!!IBzWLUs!VlLvbNvgRuB-I3Dwh4fzFYWqtFfXmAApmn6I285bt1KWifLuyvUqxblEXQlj_BFa5_kQR5e70Ofbid66N7GivL6j1kHT-F05ig$ 

In particular, abstracts must use the template linked off of the above 
page. Note, however, that authors of abstracts submitted to the Special 
Session are NOT required to be ASL members.

The deadline for student travel applications is February 13, 2025. 
Applications should be sent to Shannon Miller at asl at uconn.edu and must 
abide by the rules listed on this page: 
https://urldefense.com/v3/__https://aslonline.org/student-travel-awards/__;!!IBzWLUs!VlLvbNvgRuB-I3Dwh4fzFYWqtFfXmAApmn6I285bt1KWifLuyvUqxblEXQlj_BFa5_kQR5e70Ofbid66N7GivL6j1kEDz9lb_w$ 


Patricia and Jonathan