* [HoTT] Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
@ 2025-01-24 12:08 weinberge...@gmail.com
0 siblings, 0 replies; only message in thread
From: weinberge...@gmail.com @ 2025-01-24 12:08 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 2079 bytes --]
========================================
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://math.nmsu.edu/asl-2025/index.html
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@chapman.edu and Patricia Johann at
johannp@appstate.edu. Reviewing of abstracts will be lightweight.
Abstracts must abide by the rules listed on this page:
https://aslonline.org/rules-for-abstracts/
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@uconn.edu
and must abide by the rules listed on this page:
https://aslonline.org/student-travel-awards/
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/d7f03c1a-1036-4d14-b623-bebf4804fa7an%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 2590 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-01-24 12:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-24 12:08 [HoTT] Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM) weinberge...@gmail.com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).