From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19940 invoked from network); 8 Sep 2022 08:25:22 -0000 Received: from mail-yb1-xb3e.google.com (2607:f8b0:4864:20::b3e) by inbox.vuxu.org with ESMTPUTF8; 8 Sep 2022 08:25:22 -0000 Received: by mail-yb1-xb3e.google.com with SMTP id p12-20020a259e8c000000b006958480b858sf12979570ybq.12 for ; Thu, 08 Sep 2022 01:25:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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; bh=BTvay3h+x2P0UlkpJtFKQ0IeDGKgv2K2dmR102FOG0k=; b=nmVYbOFiWY26b0AvOKNUal2p0plqFhPiIN6edQNYdOS2vm95zLxKrQIBBLE/fcid50 YdjjZJInqtx8jYA8xz56yMWJb3uINDie2vmMKLX/95zzsydWbYy45CM6JP4LX0nCT0n5 yNqAc8z25GIsSivv9MnSE7wyTI7i4fEQB0eDVPhesi3jM3nYdVPStwKSCI+p59pEzUN4 uHRo6rr2KyoKKp08gk/drMgKnSMYEzX6JH8PcKSL2VPthIOwwh0fUkyJNMMBybtYAOqj bvwBbPQ5nod50dGs19RKcjfPSXTVhm0Awm7npTxs7UQgxU3FFK7rqhOk6VBzQ854fAZl mukw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; 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; bh=BTvay3h+x2P0UlkpJtFKQ0IeDGKgv2K2dmR102FOG0k=; b=i6tI2Ji/7g7IAWlNXC1wRFKJiZnl75tZs76bxmXL9mO2lpYqpZv+2FU7eVkrnK2Pdj mMDbhR2JXujNdZjFeSOiHevAKwepzW1Ixyj8Rw5NRcs64Y5I7GqANu6zT3LyIeOclJrX GVzwNxJS/w3bJLHuoOHxu2qn6nBZJX6dkyEPhSUExntiuJ+lFN/OXqxnQdvIcdaBz8aZ 2zHKVBPeC4YJ/CYAwj3hPnw0w3Hb3jF92YWzOn2BiMVCVEGObTs0nHX3U4jIYzVFwcit wGnZiyn9ICuFemPT4As3fr8cFyWiJv7fBsZJksS+Xhh05q85lxfZVyd9QbWUnR6xDo6P YqWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-gm-message-state:sender:from:to:cc:subject:date; bh=BTvay3h+x2P0UlkpJtFKQ0IeDGKgv2K2dmR102FOG0k=; b=hCxxN70/MIb/lSDATJmAxRYnQ+UEak7o4JstiUhvl4LYLHxnQNQ1PwmGZaqnkf7YAp l8FGmeHEpIaQ3CB55UXbpF3VLXkmvYZ67bgB3i5lLmTTbYcrESLcI3rZ+HHCrNevb95/ vYoBKNmtWEpeURmyy4LVH6u5VXNWUQVqEoAPjgq5mT/r1h9Ia0rT/GT0h6fcfIilYFmo 8VRWQvSWoCSjquj6hGAKf6bE0SBcBgljtdhDHD3mqEFLWAISECet/0UBFUHY8DR3zO2s sTmntqye9Zy3mfoarPsQ/v6TxB2eV0PT9odhM+RvIWvCJFFzRgnb5Bd7tz78bIqQs24B oydQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo09Aaqkhd4Q5yTuhIF7OXar5xnjVyCZP8bEEYnzNgocHK2czkNK rLKU3xjmXo/LDsvrCLtD/O4= X-Google-Smtp-Source: AA6agR7HdfSg/BBF05Nsgv1Rgwayt6lJRQawjRrdnnGeEEANHnpHOlDpu6a11rDQZHcceGSZJP67SA== X-Received: by 2002:a25:8e03:0:b0:6a9:6714:761f with SMTP id p3-20020a258e03000000b006a96714761fmr6084965ybl.572.1662625519649; Thu, 08 Sep 2022 01:25:19 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:6882:0:b0:6a9:4bf7:6796 with SMTP id d124-20020a256882000000b006a94bf76796ls665858ybc.9.-pod-prod-gmail; Thu, 08 Sep 2022 01:25:18 -0700 (PDT) X-Received: by 2002:a25:81cf:0:b0:6a9:4d0d:5ee6 with SMTP id n15-20020a2581cf000000b006a94d0d5ee6mr6294289ybm.153.1662625518152; Thu, 08 Sep 2022 01:25:18 -0700 (PDT) Date: Thu, 8 Sep 2022 01:25:17 -0700 (PDT) From: Nicolai Kraus To: Homotopy Type Theory Message-Id: <3db1cdfa-2139-4a36-83da-14c897f7b5c6n@googlegroups.com> Subject: [HoTT] Thorsten Altenkirch 60 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_6458_2029471797.1662625517642" X-Original-Sender: nicolai.kraus@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_6458_2029471797.1662625517642 Content-Type: multipart/alternative; boundary="----=_Part_6459_611551400.1662625517642" ------=_Part_6459_611551400.1662625517642 Content-Type: text/plain; charset="UTF-8" Dear all, Our colleague and friend Thorsten Altenkirch will turn sixty on Thursday, 20 September 2022. We will mark this occasion with a full-day workshop/celebration ** at the University of Nottingham on Wednesday, 12 October 2022, ** including a dinner in the evening. This is primarily intended as an in-person event, but online participation will be possible, to some degree at least. To sign up, please fill out the Google form at https://docs.google.com/forms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link by Sunday, 25 September 2022. If you'd like to give a (short) talk, please get in touch with us (nicolai.kraus@nottingham.ac.uk, conor.mcbride@strath.ac.uk, tarmo@ru.is) by email by Sunday, 18 September. We may prioritize proposals arriving earlier. Looking forward to meeting many of you there, Nicolai Kraus, Conor McBride, Tarmo Uustalu -- 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 on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/3db1cdfa-2139-4a36-83da-14c897f7b5c6n%40googlegroups.com. ------=_Part_6459_611551400.1662625517642 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all,

Our colleague and friend Thorsten Altenkirch will turn six= ty on Thursday, 20 September 2022.

We will mark this occasion with a= full-day workshop/celebration

** at the University of Nottingham
on Wednesday, 12 October 2022, **

including a dinner in the eve= ning.

This is primarily intended as an in-person event, but online p= articipation will be possible, to some degree at least.

To sign up, = please fill out the Google form at

https://docs.google.com/forms/d/e= /1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=3Dsf= _link

by Sunday, 25 September 2022.

If you'd like to give a (= short) talk, please get in touch with us
(nicolai.kraus@nottingham.ac.uk= , conor.mcbride@strath.ac.uk,
tarmo@ru.is) by email by Sunday, 18 Septem= ber. We may prioritize
proposals arriving earlier.

Looking forwar= d to meeting many of you there,

Nicolai Kraus, Conor McBride, Tarmo = Uustalu

--
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 on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/3db1cdfa-2139-4a36-83da-14c897f7b5c6n%40googl= egroups.com.
------=_Part_6459_611551400.1662625517642-- ------=_Part_6458_2029471797.1662625517642--