From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-yb1-xb3c.google.com (mail-yb1-xb3c.google.com [IPv6:2607:f8b0:4864:20::b3c]) by inbox.vuxu.org (Postfix) with ESMTP id DCB652136D for ; Fri, 24 Jan 2025 13:08:34 +0100 (CET) Received: by mail-yb1-xb3c.google.com with SMTP id 3f1490d57ef6-e39fd56398csf571319276.1 for ; Fri, 24 Jan 2025 04:08:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1737720513; x=1738325313; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=73PRGYFx07zFOOplhnrpAgFPxXsUMmZYfqZ34KmZ1S0=; b=h8mkOaddEAsX+39KS/517vdsQxdG5uxB3gpsAkV0gufILIuzI9JM0qqtQG1eIoJDZl bCCWo6TSVh33wWzgllu9MzJuYMJW6lXHZY20Od9X6em6+59SH29DjyFv98+Smvb23Y/w vsW6EH5Q0j7kHSzacWp0Cc2YQDuCF9sMh5uPY7EFJtkIj2Vf1+GGDlGeK0BeYCkDCEMS 848sm+s8Z5U8JD73RchrpMmCs7pRp8UJXFJde2y/xEp91fuj/sOw/TvEkqrmwmJwF5it TzvtFkKXSA3feO0xJhPALut+zmTcRzBEUpwtLD0SsHNT/vBGls+N53QzRmfpYP4MtL6H Hegw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737720513; x=1738325313; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=73PRGYFx07zFOOplhnrpAgFPxXsUMmZYfqZ34KmZ1S0=; b=KtBmFx7LBw5c/Me3n3tzbZgoVGLyWMwMJ8mUKovkaHTdn3rHSNLdu/gS+Y3sez+9zw mP+Rf6PfHCzWyZUQFuJy/RcpZ1El5Tv/jlbSYvFkxndgE6GVvkPNlGb5xuhGXO3NzW1X ccPFgM9mg29pFNKkGDzA1DryYnIih7bE7nnwYiT++TuBc2VlXhWRzRju+xXwb4RNkZ8O 0VoVhM0FW4PExkT0y+sUnz/Tv2gsR36OPcuRo7lNW0CrJFmUbtO3Vkv6XdtIZ6OeeRle RpUvnyinW1bl7pq1L3Ku6UVtPe0Wxl+YWYw/TmORkr4GjZ3FKeS31PkOoSoeFdSnNHwq nKWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737720513; x=1738325313; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=73PRGYFx07zFOOplhnrpAgFPxXsUMmZYfqZ34KmZ1S0=; b=qs+NDa8/MhM7elIIIoIhNWbTbhrcOy41rFaqE8ZY1Tp5MYyP88Ye7wJHSe4JvFstcA IA3/8CjaO0Li/bdm278Q0Km3XkMckPOQ0IZTB1F4sJl2CJ/dgCxRrg+emOgVR0lm7Joa E8rE/i9UWiO7Q6xZwr59NEjvOGcdX/HW4IVh0vpgtHArDcC/sYyBs4m4PsGNrn5W/KW7 wL5kkqLaWhpIybNLXfALnC9MN5w+4o/NYqz4EUS4mogsC5VysnXtiyiZiHPR8r+UUCJA z19Z4S4lrf7Xd569xmk4etQ1vnhXMXCTKJG/rURMyCw0FpjmFBOXUCD+qXpI35Dxr0JB bmCw== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=1; AJvYcCVlJ8KLj3euBQIMh3x451L5F9pM2DqYKSkdWHs7AVHvsH4XCcSk1DI1M4lkdy6s5ZnzDw==@inbox.vuxu.org X-Gm-Message-State: AOJu0YzV0n7cCf27dstypDbqbG8bCRLvVud95Bzuk3YpDM2NyTXq4RzJ 7LTxXDsD3pyAhGAmHwV11kypdkPMivu676fr0q9rKL8ngz4fVKE/ X-Google-Smtp-Source: AGHT+IFAqKWPCzD/ZuR/PBpR70YIrXsuKFCCHK7AWvTIJIvZ+TH8Rqe82Uis8/tyquC0Cc6lmcoGig== X-Received: by 2002:a05:6902:70b:b0:e54:f559:36a with SMTP id 3f1490d57ef6-e57b103c7b6mr23022551276.6.1737720513154; Fri, 24 Jan 2025 04:08:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:6c41:0:b0:e38:9c46:1f82 with SMTP id 3f1490d57ef6-e5825ae7dedls1905607276.2.-pod-prod-07-us; Fri, 24 Jan 2025 04:08:28 -0800 (PST) X-Received: by 2002:a05:690c:6b84:b0:6ef:4cb2:8b4c with SMTP id 00721157ae682-6f6eb929494mr224377937b3.23.1737720508452; Fri, 24 Jan 2025 04:08:28 -0800 (PST) Date: Fri, 24 Jan 2025 04:08:27 -0800 (PST) From: "weinberge...@gmail.com" To: Homotopy Type Theory Message-Id: Subject: [HoTT] Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_32716_1368009174.1737720507095" X-Original-Sender: weinbergerjonathan@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , ------=_Part_32716_1368009174.1737720507095 Content-Type: multipart/alternative; boundary="----=_Part_32717_1968541588.1737720507095" ------=_Part_32717_1968541588.1737720507095 Content-Type: text/plain; charset="UTF-8" ======================================== 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. ------=_Part_32717_1968541588.1737720507095 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for Participation a= nd Contributions

North American ASL Meeting
Special Session= on Proof Assistants

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

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

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 t= wo
days May 15 & 16.

The confirmed invited speakers are= :

Favonia (University of Minnesota)
Leonardo de Moura (Amaz= on Web Services)
Emily Riehl (Johns Hopkins University)
Egbert Ri= jke (Johns Hopkins University)
Mike Shulman (University of San Diego)<= br />
General information about the meeting is at:
https://math.n= msu.edu/asl-2025/index.html

There is some limited capacity for c= ontributed talks (duration approx. 20 minutes):

The deadline fo= r contributed talk submissions is Thursday, February
27, 2025. Abstrac= ts should be sent to Jonathan Weinberger at
jweinberger@chapman.edu an= d Patricia Johann at
johannp@appstate.edu. Reviewing of abstracts will= be lightweight.

Abstracts must abide by the rules listed on thi= s page:
https://aslonline.org/rules-for-abstracts/

In parti= cular, abstracts must use the template linked off of the above
page. N= ote, however, that authors of abstracts submitted to the
Special Sessi= on 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 &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/d7f03c1a-1036-4d14-b623-bebf4804fa7an%40googlegroups.com= .
------=_Part_32717_1968541588.1737720507095-- ------=_Part_32716_1368009174.1737720507095--