<div dir="ltr"><div>========================================<br>2nd Call for Participation and Contributions<br><br>North American ASL Meeting<br>Special Session on Proof Assistants<br><br>May 15 & 16, 2025<br>New Mexico State University, Las Cruces, NM<br><br>========================================<br><br>A Special Session on Proof Assistants will be held as part of the 2025<br>North American Annual Meeting of the Association for Symbolic<br>Logic. The whole ASL meeting will take place May 13-16, while the<br>special session on proof assistants will take place on the last two<br>days May 15 & 16.<br><br>The confirmed invited speakers are:<br><br>Favonia (University of Minnesota)<br>Leonardo de Moura (Amazon Web Services)<br>Emily Riehl (Johns Hopkins University)<br>Egbert Rijke (Johns Hopkins University)<br>Mike Shulman (University of San Diego)<br><br>General information about the meeting is at:<br><a href="https://math.nmsu.edu/asl-2025/index.html">https://math.nmsu.edu/asl-2025/index.html</a><br><br>There is some limited capacity for contributed talks (duration approx. 20 minutes):<br><br>The deadline for contributed talk submissions is Thursday, February<br>27, 2025. Abstracts should be sent to Jonathan Weinberger at<br><a href="mailto:jweinberger@chapman.edu">jweinberger@chapman.edu</a> and Patricia Johann at<br><a href="mailto:johannp@appstate.edu">johannp@appstate.edu</a>. Reviewing of abstracts will be lightweight.<br><br>Abstracts must abide by the rules listed on this page:<br><a href="https://aslonline.org/rules-for-abstracts/">https://aslonline.org/rules-for-abstracts/</a><br><br>In particular, abstracts must use the template linked off of the above<br>page. Note, however, that authors of abstracts submitted to the<br>Special Session are NOT required to be ASL members.<br><br>The deadline for student travel applications is February 13,<br>2025. Applications should be sent to Shannon Miller at <a href="mailto:asl@uconn.edu">asl@uconn.edu</a><br>and must abide by the rules listed on this page:<br><a href="https://aslonline.org/student-travel-awards/">https://aslonline.org/student-travel-awards/</a><br><br clear="all"></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="color:rgb(136,136,136)">--</span></div><span style="color:rgb(136,136,136)">Dr. Jonathan Weinberger (he/him/his)</span><div><span style="color:rgb(136,136,136)">Assistant professor</span></div><div><span style="color:rgb(136,136,136)">Fowler School of Engineering @ Chapman University</span></div><div><br></div><div><a href="https://sites.google.com/view/jonathanweinberger" style="color:rgb(17,85,204)" target="_blank">https://sites.google.com/view/jonathanweinberger</a><br></div></div></div></div></div>