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, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 21177 invoked from network); 8 Apr 2022 13:44:03 -0000 Received: from mail-yw1-x1137.google.com (2607:f8b0:4864:20::1137) by inbox.vuxu.org with ESMTPUTF8; 8 Apr 2022 13:44:03 -0000 Received: by mail-yw1-x1137.google.com with SMTP id 00721157ae682-2ebebe9f982sf8489987b3.17 for ; Fri, 08 Apr 2022 06:44:03 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1649425441; cv=pass; d=google.com; s=arc-20160816; b=DVijxMnqm3T/OoQiZTxn0ICYlLRdvQCYt+cveScMJNHoBMYLBVQ6VIoUU9+HRJfiSI 8Xw864+It3UV5LS5qvsWI3FO4aROYQWVJ9Pwdj0uBhKCaXZ7zRGQ5m2XNGBpKb/t+rGl v3ecGBpaafQvfMDqpI83ATojn8gmOJRUQkjpszGFDHHrdY7Xbk3oJaFGPh+jaGsaraza ZGeUyNOwfeQpTevNJLOuAygWwQg9OIQRKkO++F+uJLKCpi76LbFx/+bvn4siZ6atapCZ dg5UrUSt60b+DG5Za+8VXaBfjhfMaFyDY+jdyUMQmFsnpJY6/Tu3cj7XB5AbvK5cpKXM YihA== 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=YL+SLiqDB5xgtAv9yzLg2PFx2v9MPImOdTQIBNKQrnI=; b=vI6twIrWn7gy3VYPHjOS27EBkF+hvUVfaU8TCBBoVz7K7iLoIRJ3ym9KrX6fbiGZJH t50bjtASvqM+sZtznXUxzrzieua+2pNIrmazcb2oVKXQJ9V+iHiyHqsJ9qHuywCm2IXs GL4Z1fTM68PInPAOr4f39JYiUwOn1+VmCnIo8r4+98aS5ZhL07g+XHjEd8FNuESOcMjF 1qU1xv8I79gxtWKQ/9+4Q87hFrk6Crudze/vneQbJoO+cVwR0tSN6HAVjZFoYE4BQFH9 Z/aOFEFth44kPYbAkAAi/9akl05L/I5xrkl6z32cWcQo6TfyBbln9M8YSsbNeTe+YFfC iBqw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=TnMskcCi; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e34 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=YL+SLiqDB5xgtAv9yzLg2PFx2v9MPImOdTQIBNKQrnI=; b=K8mX+rib7VcIYhOuJgTYCAMrLuDkQjbii4M75/zLZarzb5UOXczLsoKcUgtZRqzKqn OfJ+EyrrPUl3ZGxvb+vnhjY0efmCXrqsxOGRE/wfdbBew+YbvQoDwAgeuQJA/rF73uKX aoXOVOrNV+Y2eKZn9b+maTO1LpFKL8n2IfkBMbxl6xYCDQsfDPsyAYVhI+Zn2vwxHcUl acvK/aNwnPYoqwHMAEA3rnzHxUmgt+RsPqejdg71VF55FExnwhkQ+vXm+SOw0O1fxeUz 3Y8N6hGG6NGnrVtk4HhYUVRPltZon0VSw+HQKPXILQJANumpJBp9sMsToDE8eSpcJKU/ r/rQ== 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=YL+SLiqDB5xgtAv9yzLg2PFx2v9MPImOdTQIBNKQrnI=; b=MUJ3Owv2AHp1sP4HRoRVraaw2JdfbYxY87DHtZpKXlUSy9+Y5S8xTz9vJJjRJUzPRI 2yQK5T3JctTFACvlXi+zvdKTEbQPX+b1ml9LfFDZvTq6s7C7FQ5FZbEaDtTcPymbH3jg cIjwQ3VdFDdpv/u9Y23e91Zovd4BlsU6m1JDcHYDwdD2BiYXL43FJq+d3ug3lY+eWRtm WAuGrRJDBfvPW01hAeZhuccHTIGSU1yuyDPwi8IqKIwQA2R8WIBRyNvNVUgd81kv9+Ix zFRGACn6w9VxEulVbrJG2uPAXKpbuPRnuE9Pm14tj7KLKGK1hxktvSbJLcQKcsGwV9Wx WHzg== 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=YL+SLiqDB5xgtAv9yzLg2PFx2v9MPImOdTQIBNKQrnI=; b=lD7az3E2W5kEdtj+8t9/iI5Fsz7utW8X9hpeifIrj/dp4tdRXLOwCRQ/gNiqonOg59 Yo6ZIJVRZnSxYsT2Gl3cIse+/bG87nTHHqPVvDK4hKnhnzJEKlanokXPrhR1GcLkRjq7 rIpUWPsbvnC7GIB/QfjOQhVzhfmG2yEAB9RCc74+8poMhzLRaVrFNu4GoY2j0/CDFD83 diKZQpv35as8LXXGR8/Y+ZKtKRP5njkf6x7oQFnLlrDsybA6e6KeaFyIcZLAKDcxntYo ndvBGqWQ1dNKSK04kAQ10drVd4nUC0PMMo2cPY2osUDa1nJCjygaMUVZWNZSIkmV5krT 0D3w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530igOmfVKffz6FE2bkc8ZNmmFM+R1Lit7gINqO4ww3ZIqZWx8Bs bnJtvN1eL8c9hHQZGNWFVD8= X-Google-Smtp-Source: ABdhPJy3L5zGgi1RRjKrcskCwNJwnIsHxYyeGa80si/TeGub5SXhQFngW0pawseGoW2iTeJmST0SsA== X-Received: by 2002:a05:6902:1202:b0:63d:ecbd:a7b0 with SMTP id s2-20020a056902120200b0063decbda7b0mr14894631ybu.358.1649425441780; Fri, 08 Apr 2022 06:44:01 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6902:721:b0:633:b3c7:ca42 with SMTP id l1-20020a056902072100b00633b3c7ca42ls930677ybt.10.gmail; Fri, 08 Apr 2022 06:44:00 -0700 (PDT) X-Received: by 2002:a25:b9ca:0:b0:619:649f:1bf6 with SMTP id y10-20020a25b9ca000000b00619649f1bf6mr13590135ybj.196.1649425440396; Fri, 08 Apr 2022 06:44:00 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1649425440; cv=none; d=google.com; s=arc-20160816; b=oP3stLZF+zGE50JJXDnIidgGO0KJKK3+qaXZJIRe44NMndghW8AW3sZkLePNkgjcoL SlHsTh0Svoj1BUYbdwOSQo+1VVWg5IJryXFv+J6d/1PUVIsh44sgluoo5KpUZPBW+7Xx ayuKZImixlgFUDpFpdpFcT0iRZ/2UABkuhzpQo2G2QYA9QmGEKmhirT+kLSdrhZ71W43 Y+zSo7qcLF4UFay5yHtFsbvQgBVZGKEoxozC9rVAs9A/Pos/37sINo/3RuoCjpb8Dxjn koVnLxu0zBhrefNsIg/psGCAThvjutrRU3Se14P4OQDQt4grw73GINKK4G76//wOp+2H ApsQ== 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=rmW7EKbJw5cEo9DhQQ4PPWqRlogqwBt5qevr6h5qtSc=; b=a0643lbUm+E73crPiZfdXjuX5Dy7qvoxwHn/LRRrKDphLjYosKPHj9/dkXbDyWAuRm nTGpkESrnub6Wa01Q7SRXnSDS45moLBmyOWUi2G/+X0XAU1RRYgiql3IfXOd+HsSUhoe ODhUizr72OEdrwc/q+6A1kXQGcwPYwl5RBigl0oT8bNUekO/5/UkrdsVXqNR11N4daX8 /Gjklm/Ft+wsRGuHpjVSFXXlHUFxx76DhAWbh7ThrLUtW1a5Ba0n6AME4uA9ne7z0zHx w3yIHWcoXXe5aMnTSAYtX36LeIogbthMIIleVThw4RozjPtzIdmrnYPFu3QbLQkLRUf8 3u6Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=TnMskcCi; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e34 as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-vs1-xe34.google.com (mail-vs1-xe34.google.com. [2607:f8b0:4864:20::e34]) by gmr-mx.google.com with ESMTPS id m17-20020a056902005100b0063e22a87b19si88014ybh.0.2022.04.08.06.44.00 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 08 Apr 2022 06:44:00 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e34 as permitted sender) client-ip=2607:f8b0:4864:20::e34; Received: by mail-vs1-xe34.google.com with SMTP id s13so3018160vsp.2 for ; Fri, 08 Apr 2022 06:44:00 -0700 (PDT) X-Received: by 2002:a67:d19a:0:b0:328:123a:fb18 with SMTP id w26-20020a67d19a000000b00328123afb18mr2747404vsi.80.1649425440184; Fri, 08 Apr 2022 06:44:00 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Fri, 8 Apr 2022 15:43:24 +0200 Message-ID: Subject: [HoTT] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April) To: types-announce@lists.seas.upenn.edu, Homotopy Type Theory Content-Type: multipart/alternative; boundary="000000000000721cc405dc24c9de" 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=TnMskcCi; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::e34 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: , --000000000000721cc405dc24c9de Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Reminder: the deadline to contribute a talk and applying for funding to participate in the workshop on type theory here in Stockholm is *Monday next week (11 April)*. For details see the email below. The meeting is open to anyone interested in type theory and the program will consist primarily of short talks, with plenty of time for discussions to share recent results, and co-ordinate future research. Everyone is very welcome to apply for funding regardless of whether one is contributing a talk or not. Priority will then be given to speakers, participants from =E2=80=9CInclusiveness Target Countries=E2=80=9D, early-career researchers,= and women (following the EU COST inclusiveness policy, details here ). Best, Anders On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg wrote: > We are organizing a workshop on Syntax and Semantics of Type Theories in > Stockholm, Sweden, on May 20-21, 2022: > > https://europroofnet.github.io/wg6-kickoff-stockholm/ > > The event is intended as a kick-off meeting for working group 6 on type > theory of the EuroProofNet EU Cost Action: > > https://europroofnet.github.io/wg6/ > > The programme will consist primarily of short talks, with plenty of time > for discussion to share recent results, and co-ordinate future research, > including collaboration towards deliverables. On the Sunday after the > workshop, there will be an informal social excursion =E2=80=94 details TB= A. The > meeting will be in-person. > # Confirmed speakers (more TBA) > > * Andr=C3=A1s Kovacs > * Andrej Bauer > * Anja Petkovic Komel > * Ivan Di Liberti > * Jonathan Sterling > * Taichi Uemura > * Th=C3=A9o Winterhalter > > # Deadlines > > Contributed talks deadline: *Monday 11 April* > Funding request deadline: *Monday 11 April* > Participation registration deadline: *Friday 13 May* > > To register please fill out the form linked to on the event webpage. > > # 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/CAMWCppm3JO5mAjv_rz7SVQZRr0c5bDxjFYuS3LN0zHOc%2B3w_pg%40= mail.gmail.com. --000000000000721cc405dc24c9de Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
R= eminder: the deadline to contribute a talk and applying for funding to part= icipate in the workshop on type theory here in Stockholm is Monday next= week (11 April). For details see the email below.

The meeting is open to anyone interested i= n type theory and the program will consist primarily of short talks, with p= lenty of=20 time for discussions to share recent results, and co-ordinate future=20 research. Everyone is very welcome to apply for funding regardless of wheth= er one is contributing a talk or not. Priority will then be given to speak= ers, participants from=20 =E2=80=9CInclusiveness Target Countries=E2=80=9D, early-career researchers,= and women=20 (following the EU COST inclusiveness policy, details here).=C2=A0

Best,
<= div dir=3D"ltr" data-smartmail=3D"gmail_signature">Anders


On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg <andersmortberg@gmail.com>= wrote:
We are organizing a workshop on Syntax and Semantics of Type = Theories in Stockholm, Sweden, on May 20-21, 2022:

https://europroofnet.github.io/wg6-kickoff-stockholm/

The event is intended as a kick-off meeting for working group 6 on typ= e theory of the EuroProofNet EU Cost Action:

https://e= uroproofnet.github.io/wg6/

The programme will consist primarily of short talks, with plenty of=20 time for discussion to share recent results, and co-ordinate future=20 research, including collaboration towards deliverables. On the Sunday=20 after the workshop, there will be an informal social excursion =E2=80=94 details TBA. The meeting will be in-person.

# Confirmed speakers (more TBA)

* Andr=C3=A1s Kovacs
* Andrej Bauer
* Anja Petkovic Komel
* Ivan Di Liberti
* Jonathan Sterling
* Taichi Uemura
* Th=C3=A9o Winterhalter

# Deadlines

Contributed talks deadline: Monday 11 April
Funding request deadline: Monday 11 April
Participation registration deadline: Friday 13 May

To register please fill out the form linked to on the event webpage.

# 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/CAMWCppm3JO5mAjv_rz7SVQZRr0c5bD= xjFYuS3LN0zHOc%2B3w_pg%40mail.gmail.com.
--000000000000721cc405dc24c9de--