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 14770 invoked from network); 10 May 2022 14:29:47 -0000 Received: from mail-pj1-x103c.google.com (2607:f8b0:4864:20::103c) by inbox.vuxu.org with ESMTPUTF8; 10 May 2022 14:29:47 -0000 Received: by mail-pj1-x103c.google.com with SMTP id d64-20020a17090a6f4600b001da3937032fsf1376823pjk.5 for ; Tue, 10 May 2022 07:29:47 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1652192985; cv=pass; d=google.com; s=arc-20160816; b=0houV20MqBBgPeSKXBIQr/7x4agbVMs5bQM8imkraFE19kBzsw4zxhkmFYweRwyA2Q 92C8HH+HBuMNwAALqoBRHkDspfry5xUDBH2oEmJ+hqa1rznWGZyDyIfy8crHbYDha8uH tFIfFssGDYuhTdIXWkr1TqAgx5HpAuWgzkLZ9AT9rRJfL3gNGmtkeOaeI6KyBWUqCZMN 4gUwmvwdvzHfBP1JB+pKwGiECF2qbRn8t1zhSRZJbAwM9s42zkCD1Get0bVlPnSFSi70 FI/qKA5tfXrwoC6JwD4qGLhRBrU86zp7YHBQLeW505DcEKoJK83/uDeFBNQfb9ErE/cF fLbQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=2VFLyaNPS0FlZ8TjyxXTiWBhYcmf+tALu6TIOWMjlGw=; b=MOvs/b23TDwWTRQXu9mnxWkyqOf9PG3L+07cUqmyGEIJzgO1J/v8rgHP05BWd9w1jD n4iPhBVUG/tlaLQLtu3ob4gCcREzqDLGx4Fz5EVQNPy8eeJNuYTdUWsKRlJeMWvpvxaa kNedjxC1gjGfHWW1VM3rEq0ubJ7fh7Vl7++eEYLtZDeXbg1nfzFH0JOugTgC0e9wvsPA GTI36u5YcreN47HQdmN1HNh1ab9Lg9cvMA8tyzK/2j7fCS06hcAqFB8bhg1n1SKsGLnR DtGWPp2Y7L1q/N7P3x6no0ryik+60u3hUOoRhZP4g9gif1pENOrzXBERz1zNGhU+fEkl e2tg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=hUlEcFVx; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=2VFLyaNPS0FlZ8TjyxXTiWBhYcmf+tALu6TIOWMjlGw=; b=d7cBJY44ovK1DsRC2sctjpkp92VOMu+Gmbn/+SCFhQCn3t1T+ZwCCpCKid8Q9A2hZD tcGskC4mlc7ox1MZagVhDHJA7osme97X3dEO6ufEwl3m7ZSVO1hA2IVD5ty8jQgmaJvM nmfDAFVZXwrPhZRCkWXvjTMIT2CdVBVzj4g8arxpXnuQz68OQ7RUcQjcLTUy8QxOy8O0 Txj8mR4JqfYM95qyw+swMnozOrZvOaIMfrrRBTB686r5qmYq13nXFB5EmSpRbBvBG1qh jCb9Gc52tKZR88SpeQNiAHZBkienVMFK+XPh0BJdc4RgDNK0vShBh05lWKYf09VqIWGK nBvg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=2VFLyaNPS0FlZ8TjyxXTiWBhYcmf+tALu6TIOWMjlGw=; b=HOd4Q5hlm4YBUSg+Gj6zCtygji8Zkv3/ftibTgljeyJGx/B0gwbyS1unz0daAfM2m2 cHD2eRLzUWWmnW0JFpPfwf1+C9HjHDuedtLtMAL0S8Zbp+kTxFx4Z4qyC9jq4g/PPXle h725Q2eDt/0lmKhaubw9qSdqt8AleuXCkOOHSZvekiD7d+4xVUL9zC4CI1a4gUilbG9p rjHErSnJfPV5WDOstX1KknEKKQCTqTwTxvP9Z5jxlME9krlbhl+Dy/RDsDyv2Hxbc2UM tbok+wo331MHvRlAWc20dxWaYfH/IgIZGRXMp6s1Z3zdu9A6wNR4pzcOtVa1aNTXTlsg m/XQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=2VFLyaNPS0FlZ8TjyxXTiWBhYcmf+tALu6TIOWMjlGw=; b=xsQzuOKaRxoRuMRTumzrxOpI8kjqHhR3XL/UBERlNNZXDqzKYez4kdCjFUAl1I37RK oBIrtOZVgT542Zl7yREn2vAqIom6mTKEXhGLDAS5Kmk2o3vZRGR5QIwojXN4yP/yDtGx Q8fPloCcJCVJ7ZNlYPHcpyzEdShwZ9mEacf3G4549MVOYuKsCPqwhISQ5lu0d4WjkjZO HhGW5qCCpI5wfJ8KA5dFp38o5pgR0dYciBtd1u5fuPDSE+63l7QA0cBOf5RBoNUq45nO 8YuhjVOuIKaMKHUzRrFNfL8unyowAbY7IOvM57k4lZ4fA/XuwkFGukUnCr45mZhr07nd 5R8w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530Xt/V95yKFGqPscnOuIynVUhbm9k2nPWEPqka3Am44xQ6P9vPF pUidAwsWqKWaEIxu5EtTVAI= X-Google-Smtp-Source: ABdhPJzPpZeAE9DF4gdIcFdEcfn6n/91jwWz6GuYfSEogwtUZZ7zZqYT5tjs1dOmkJlT49cmbXl7Ew== X-Received: by 2002:a17:902:f54a:b0:15e:a95a:c0a7 with SMTP id h10-20020a170902f54a00b0015ea95ac0a7mr20854921plf.134.1652192985502; Tue, 10 May 2022 07:29:45 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:82d4:0:b0:4fb:1450:22b1 with SMTP id f20-20020aa782d4000000b004fb145022b1ls8365450pfn.6.gmail; Tue, 10 May 2022 07:29:44 -0700 (PDT) X-Received: by 2002:a05:6a00:1a03:b0:510:a1d9:7de0 with SMTP id g3-20020a056a001a0300b00510a1d97de0mr11206495pfv.53.1652192983922; Tue, 10 May 2022 07:29:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1652192983; cv=none; d=google.com; s=arc-20160816; b=XHhOXXkpyCI1I9ZIi/az6uBJ/nynCG/fGZx9OUfg2s8phcfDxqLa0HebT/0ROglWC1 dC9TeLHLskLYwD75OHb0Da4gEZKXnCHkL8O/uRmC829gbVIqGEuX+e70aPt3Wj9XSux5 fPOK9QdZSiNwmlR4HLk6oKTD5WsGzyY0g3N0leCNwfbQJLef/d1C3hBxyhnapt+s7n6P tKgEWjWa6WrWYgJR1nnI3edP0XM2mPniPqR1ZkIL4S+PXAcoQ14Crzj6m98+lgvWihXB +bnKCarpFC1dRZtS6hc7hhck/Z5NCQJOGYAk78pwVNPM6CqFSFWknn0n3oI3qpk3Y4fk YMqA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=1gvV9pv1DdnX/LmiqRJrwCkrv43iEqVFrhmZzfpRuCg=; b=07LDk9572SbsjbrS8MD+fVKy+20oiLjOJAWb+8KGTA9nec//fvxZfeOOIVG41CkPLy noiiz1EN3/Rg+fn5GSjBeUnHCwBL3MCWd5DTL3QpxfnwXwfloCZRM/0cw/AnsqtqcUNn i3Pkbzm/JW+XK7jYlVzeJgV1J9UmmhcvihOBxfgLv8rjmx+ZdxmM8Mt8q81nulaW8liO N6CqEyyi3CcwN9YdCzr9arAeCyJ3m4IfJl2dEs5BGsEudDtQkPotgTKLnD4gcXZ8DzgA RYOYVC+jUJchiskctosAOfan7sDLuZESWhfAbRBHt48dEIqWksIfCjke9W2nqveaxTSn ZsuA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=hUlEcFVx; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-vs1-xe33.google.com (mail-vs1-xe33.google.com. [2607:f8b0:4864:20::e33]) by gmr-mx.google.com with ESMTPS id em22-20020a17090b015600b001c62073e04asi172633pjb.2.2022.05.10.07.29.43 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 10 May 2022 07:29:43 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) client-ip=2607:f8b0:4864:20::e33; Received: by mail-vs1-xe33.google.com with SMTP id e10so17101650vsr.1 for ; Tue, 10 May 2022 07:29:43 -0700 (PDT) X-Received: by 2002:a67:cf47:0:b0:32c:ce6c:8fd with SMTP id f7-20020a67cf47000000b0032cce6c08fdmr11710166vsm.67.1652192983534; Tue, 10 May 2022 07:29:43 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Tue, 10 May 2022 16:29:07 +0200 Message-ID: Subject: [HoTT] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022 To: types-announce@lists.seas.upenn.edu, Homotopy Type Theory , epn-all@inria.fr Content-Type: multipart/alternative; boundary="000000000000e251ba05dea9271c" X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=hUlEcFVx; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --000000000000e251ba05dea9271c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable As previously announced, we are organizing an in-person workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022. Details can be found at: https://europroofnet.github.io/wg6-kickoff-stockholm/ Registration is free, but required for planning purposes, by *Friday 13 May= *. To register please fill out the form linked to on the event webpage. # Invited speakers: - Andrej Bauer - Anja Petkovi=C4=87 Komel - Andr=C3=A1s Kovacs - Ivan Di Liberti - Jonathan Sterling - Taichi Uemura - Th=C3=A9o Winterhalter There will also be multiple contributed talks, for details see the schedule= : https://europroofnet.github.io/wg6-kickoff-stockholm/programme # Organisers * Benedikt Ahrens (TU Delft & University of Birmingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anders M=C3=B6rtberg (Stockholm University) --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAMWCppn7-8Xmd62RZacPC8XeK95%3DPqnOWO_thTQfPrYGKN6QAg%40= mail.gmail.com. --000000000000e251ba05dea9271c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
As previously announced, we are orga= nizing an in-person workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022. Details can be = found at:

Registration is free, but required for planning purposes, by Fri= day 13 May. To register please fill out the form linked to on the = event webpage.

# Invited speakers:
  • Andrej Bauer
  • Anja Petkovi=C4=87 Komel
  • Andr=C3=A1s K= ovacs
  • Ivan Di Liberti
  • Jonathan Sterling
  • Taichi Uemu= ra
  • Th=C3=A9o Winterhalter
There will also be multiple= contributed talks, for details see the schedule:


# Organisers

* Benedikt Ahrens (TU Delft & University of Birmingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Anders M=C3=B6rtberg (Stockholm University)

--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppn7-8Xmd62RZacPC8XeK95%3D= PqnOWO_thTQfPrYGKN6QAg%40mail.gmail.com.
--000000000000e251ba05dea9271c--