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 autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-ed1-x53b.google.com (mail-ed1-x53b.google.com [IPv6:2a00:1450:4864:20::53b]) by inbox.vuxu.org (Postfix) with ESMTP id BBCFB268D2 for ; Mon, 30 Sep 2024 15:05:35 +0200 (CEST) Received: by mail-ed1-x53b.google.com with SMTP id 4fb4d7f45d1cf-5c88e8d0a69sf1906268a12.0 for ; Mon, 30 Sep 2024 06:05:35 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1727701534; cv=pass; d=google.com; s=arc-20240605; b=F31DKfAhQt+Qvy3i/6aK0gEuQVLGo38cevqwk3p2xFKZ4L2TwCer0ECjeDOn9bCpkD mU4obXu8DqVkA5VTJLTa4N59AutLHOtKpIoObaoNIN3fGy9imnq39Gqv8N5AWN9aZgCx 1en41AooKn+3DvwtyPFWblR0JDZkI80Gvw+EFF3gC6Xc78FKdljkFWNwXQu3t+HuYbVo 6J5C4iXfTcteAUiAWM2EIAhOX5CNU6nCh7Q/bPBfKGOWP96xGPuFrYU2GpeYgSYTDfjs CQBvooIDmFGYEh8aFjfb14pSxPub42UTphZzA3n7cJumqbhSdovZbksyqCPifB+fprHu xH9w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=list-unsubscribe: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=NqEharWaLSAHzjL8pmNaa31DIIRDMWm7iCikdN6gvmM=; fh=msa4902GO+MveRJJqT6+E4yIjVbwlHd2fSdNUQ2J6MI=; b=YZF0NErVCBynEnSH8hf0Cd4HPh1SqB/Tq3KqdSH9kLFKasb353SdsSMk15sbdJwpwE iD8oPe+2JTJ/1WXEToy0WrMqpAW3f63hmiyjMKBiDXCjdRmOFpx8Xnxo8yEqN4WxXcdk m/YyX1jKneMxfamkbfWg5WHMElSjJSQdrbSafzBxVrT6SCoCBR8/0IX/JMz12DIhNb9d iz60nwDBQrviaD4gxFxzIz93kjnJVlYrOqkPeqanpBoLE4HVuA3t8ie/gLwZ5kxMe4I8 q0ocJP817HEXLhupUKqovqZS3S5Oyt743Hdf+7N3KuLER1qy24VRw3oQZXPKIWbbE5X9 fUkw==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="FqZ0/fA1"; spf=pass (google.com: domain of giacomo.tendas93@gmail.com designates 2a00:1450:4864:20::329 as permitted sender) smtp.mailfrom=giacomo.tendas93@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1727701534; x=1728306334; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=NqEharWaLSAHzjL8pmNaa31DIIRDMWm7iCikdN6gvmM=; b=Ek+xkoz04zQuFTpjwZ0R4nb3yqMwNWkZmQLSEJ3TyGL/PfIOYhiW3DG04LnuPy5qR/ M2i+jWzSeIPqyzCZz8EQdANIOA9q003sKM6kFMRhIfmIKHStvM87AR7mavXvB+JRgtHN qFbMArxMAdR1cuoXHZfcUIHpPB9KyY2kvF54SeEBfeH1PRW/2axY3poAJzr/c9YaNDXc 0h0SbHNbsOvzKYhegSNU34GZ9xxs+SAieVyTnJk1izkm6C3yYyQM0cZc/MA7VLSIOZkh qFzbIfYVG2+/6PwfvxqU5ARDd5zH5efwRSMac8U8OWTuWeak7R0sDaq0Zg5jZJBmtArN Y6Rw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727701534; x=1728306334; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=NqEharWaLSAHzjL8pmNaa31DIIRDMWm7iCikdN6gvmM=; b=eCODkZ/bWQbrkqRKuchDtnGGQYKyV0bYBfbBD5nud6VIp2QsT3Qu1lM7+kdT0Rk0KD zvkMRuHs7xjnigtawQasmC2En88GdclE1U4XVql71/6edkGtT1wcQv5rfo6CwKP2h/yB huJ5AdM0fy4h6Q2hT87cL+atajRexjlk6mnmPvC77wNEG53W49PWyL6uU2xtvR1xZ37E Z7yS8xpjr3JTc3Ph61Uq4A/EX6W+l1hEJ1lqYOTIfCV9SIYFAeuX4prPd1SMMAPAbrNB EQao1G8IDEqwpcY3QE/ZccYJSg0CkyJz4lJgfnV+z6n/WFLjWINIKBmJJi+PLT0cS+S+ ef+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727701534; x=1728306334; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=NqEharWaLSAHzjL8pmNaa31DIIRDMWm7iCikdN6gvmM=; b=ik4eNTT5CRazRKpj7RefzVxsReI/BBYxc2pJCc+zj8FUu65avz4itACUK9Avhb2Jgo qhDiBz2g6SiKXCZAxUHKtpzeZMAFNQMoODfn7xm3ctOX0NREAdJz1E2rJ9TCUGbPhEb5 muViuvjL/PTIgJC0qQMjLBvd8vF2lwB2IUtB3T6OxqwHuomau7uZnmVCSOUuqSTStKNz n6fwlrTty1Os9r4DQAdgMQNSHz5u9UGHU9Qyo86ya1iPgIgMJIdIGfBPSmzXEi1D6Oke r81b6+YkYJbkKixZG0U2dBQ/IQS4mjvIq67HWwwiPIUZsSNwCI9mns+T2CFsbPuT7Wq3 zBBg== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCXBab431BIkq3w8z1xrf+o8hqD34l5QzKzlR7pmn+J4v3AspT0ET1kE0k0dQWz7nLuMuQ==@inbox.vuxu.org X-Gm-Message-State: AOJu0Yy44KhVRgwAk8Bpfotjz/fDRFL44Mid8wOmKct2wlIk5lxcwURA eSpo230EJKuLOOGZt7ODlKkE1itb+X3FT7GCJa6ltZxWAxxh/3dQ X-Google-Smtp-Source: AGHT+IFlRRJqDkl9yoNedNqY0DaRlXYn26Vc8n/sGknGc8Tv3Eji/SMYXguLdC2okP0g7UbsUpYyYA== X-Received: by 2002:a05:6402:1e93:b0:5c5:cb7f:e56a with SMTP id 4fb4d7f45d1cf-5c8777af668mr17879562a12.1.1727701533116; Mon, 30 Sep 2024 06:05:33 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6402:4408:b0:5c2:1813:8ca8 with SMTP id 4fb4d7f45d1cf-5c877824cb3ls168188a12.2.-pod-prod-00-eu; Mon, 30 Sep 2024 06:05:28 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCUGPsm9+xxQcBnrD4RSCjT2hIc5R80cGN/XcC1jqJlyy1Fb75eTR3JpyqUlt05UUdTPcssNGdwhryWXQQ2NEBMaLD8=@googlegroups.com X-Received: by 2002:a17:907:31c4:b0:a8d:4cec:fcec with SMTP id a640c23a62f3a-a93b165dbafmr1717171866b.26.1727701528023; Mon, 30 Sep 2024 06:05:28 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1727701527; cv=none; d=google.com; s=arc-20240605; b=cD47+zxsWCzwEIFnLxelAIPmIUmyDGRzsgjtQLBQlPJwzFcUdheoUkwZ52xzwsaryg imElSvyQnJasSgghbmnwzltO+yX7phEWnXF7R6OzvaZRMzpoQZvkNgCT9QiCsI/ruyUG FY7q6PCusEziislsaPlXO4mIKe1VzgWmWJbQFLlv7wGAh7ixBH81e0tO/n6iVHwUiLcC Oz16uCMdER6ls9BlW/yLGquheZrdmUFU8kTZeaBLrw5v2HbY6Y4tE5bCywRYni37dGvO qYVrjelW4qCpGd+j0v6KHiSUlYSoTnQIRmqweRx7Qwgx35BrJ2k04BrM+WY91O0Gsokx OiFQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=c7EuPtcClJK03vUPumKkwn5vHL/moAnZmIcDF8ZX6+g=; fh=TagbWKBSmNDm3KHTx31opWWMtd57/OZYQUJto2RIBng=; b=FFS8wTlIVH2AjeHip86NboCbG2fVgdt8RZMA9HCPb8O35kOduFTm0uFnCEb1CbA3m6 gFwT7kQmVkAWkLOxQx0mdXphnY5s5EUOma9dCS7BMSKQ+U3RZv2Ht0LjDGHkC8t/Bq5+ jgU9rU3rg4AZeb941Y1wDze5xVkE3kHakRnnrYsGpsXNaXdLJOkRffLMzceYU1v/FVqe G0xNfwy6orFU322XLmbOYmql19gzgFoiohwqp00g/puYiCnosJgZavzpXsM2tuWZKzTW WgPT5cYU/7H4Q+ouTohEvGTUlnEI17rOz+OsGyhbghElbiVUQmcKBSh7d+Zjhxw0O3BR CKMg==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="FqZ0/fA1"; spf=pass (google.com: domain of giacomo.tendas93@gmail.com designates 2a00:1450:4864:20::329 as permitted sender) smtp.mailfrom=giacomo.tendas93@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com Received: from mail-wm1-x329.google.com (mail-wm1-x329.google.com. [2a00:1450:4864:20::329]) by gmr-mx.google.com with ESMTPS id a640c23a62f3a-a93c25f33bcsi13742266b.0.2024.09.30.06.05.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 30 Sep 2024 06:05:27 -0700 (PDT) Received-SPF: pass (google.com: domain of giacomo.tendas93@gmail.com designates 2a00:1450:4864:20::329 as permitted sender) client-ip=2a00:1450:4864:20::329; Received: by mail-wm1-x329.google.com with SMTP id 5b1f17b1804b1-42cba8340beso31754575e9.1 for ; Mon, 30 Sep 2024 06:05:27 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCVnkDbMQspNUa9Po8bcTKiWbHNDuTUFEfBS+aRyrAZpC69DpXoVm2UizN0AmhKcNgFP6tZp9uGmBbdm0J3sFyZrr4Y=@googlegroups.com X-Received: by 2002:adf:fa4d:0:b0:377:7256:bb3f with SMTP id ffacd0b85a97d-37ccdb36ba7mr9013942f8f.14.1727701527229; Mon, 30 Sep 2024 06:05:27 -0700 (PDT) MIME-Version: 1.0 From: Giacomo Tendas Date: Mon, 30 Sep 2024 14:05:15 +0100 Message-ID: Subject: [HoTT] Workshop Categorical Logic and Higher Categories: registration To: categories@mq.edu.au, algtop-l@lists.illinois.edu, HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000ceff77062355db50" X-Original-Sender: giacomo.tendas93@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="FqZ0/fA1"; spf=pass (google.com: domain of giacomo.tendas93@gmail.com designates 2a00:1450:4864:20::329 as permitted sender) smtp.mailfrom=giacomo.tendas93@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.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: , --000000000000ceff77062355db50 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** Workshop Categorical Logic and Higher Categories *** University of Manchester (UK), Monday 16th December to Thursday 19th December 2024 *** Web: https://gtendas.github.io/clhc/ Dear colleagues and friends, Registration for the workshop "Categorical Logic and Higher Categories=E2= =80=9D, to be held at the University of Manchester (UK) from Monday 16th December to Thursday 19th December 2024, is now open. You can register via the link: https://estore.manchester.ac.uk/conferences-and-events/faculty-of-science-e= ngineering/department-of-mathematics/departments-of-mathematics/categorical= -logic-and-higher-categories The deadline for registration is Saturday 30th November. The registration fee (=C2=A350) covers lunches and coffee breaks. Because of the capacity of= the lecture room, the number of participants is limited to 80. There is a very limited number of slots available for those that wish to give a speed-talk (10 min). If you wish to give one, please complete the form at the link: https://forms.office.com/e/seRwB6whXt The deadline for submission of contributed speed talks is Thursday 31st October. Decisions will be communicated shortly after that date, thus in time to register. Priority for speed talk slots will be given to early career researchers and those that need to present in order to receive funding. The workshop will bring together researchers in Higher Category Theory, Homotopical Algebra, Categorical Logic, Topos Theory, Homotopy Type Theory, Univalent Foundations, and Model Theory, so as to promote cross-fertilisation between these areas and inspire future developments. Invited speakers: Steve Awodey (Carnegie Mellon University) Julie Bergner (University of Virginia) Denis-Charles Cisinski (University of Regensburg) Ivan Di Liberti (University of Gothenburg) Eric Finster (University of Birmingham) Jonas Frey (Universit=C3=A9 Sorbonne Paris Nord) Nick Gurski (Case Western Reserve University) Simon Henry (University of Ottawa) - TBC Mark Kamsma (Masaryk University) Mike Lieberman (Brno University of Technology) Ieke Moerdijk (University of Utrecht) Lyne Moser (University of Regensburg) Martina Rovelli (University of Massachusetts Amherst) Christina Vasilakopoulou (National Technical University of Athens) Paula Verdugo (Max Planck Institute for Mathematics) Joshua Wrigley (Queen Mary University of London) For more details, see https://gtendas.github.io/clhc/ The workshop is generously supported by the Dame Kathleen Ollerenshaw Trust= . With best regards, Giacomo Tendas (also on behalf of Nicola Gambino) --=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/CAPU2sowsRL1rEqeB7Q2M83tihwTED2GsSz9q%3Dq%3DOhA7cTYQStQ%= 40mail.gmail.com. --000000000000ceff77062355db50 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

*** Workshop Categorical Logic and Higher Categories

*** University= of Manchester (UK), Monday 16th December to Thursday 19th December 2024

*** Web:=C2=A0= https://gtendas.github.io/clhc= /

=C2=A0<= /p>

Dear colleague= s and friends,

=C2=A0<= /p>

Registration f= or the workshop "Categorical Logic and Higher Categories=E2=80=9D, to be held at the University of Manchester (UK) from M= onday 16th December to Thursday 19th December 2024, is now open.

=C2=A0<= /p>

You can regist= er via the link:

=C2=A0<= /p>

https://estore.manchester.ac.uk/conferences-and= -events/faculty-of-science-engineering/department-of-mathematics/department= s-of-mathematics/categorical-logic-and-higher-categories<= /p>

=C2=A0<= /p>

The deadline f= or registration is Saturday 30th November. The registration fee (=C2=A350) covers lunches and coffee breaks. Because of th= e capacity of the lecture room, the number of participants is limited to 80.=C2=A0

=C2=A0<= /p>

There is a ver= y limited number of slots available for those that wish to give a speed-talk (10 min). If you wish to give one, please complet= e the form at the link:

=C2=A0<= /p>

= https://forms.office.com/e/seRwB6whXt<= /span>

=C2=A0<= /p>

The deadline f= or submission of contributed speed talks is Thursday 31st October. Decisions will be communicated shortly after that da= te, thus in time to register. Priority for speed talk slots will be given to ea= rly career researchers and those that need to present in order to receive fundi= ng.

=C2=A0<= /p>

The workshop w= ill bring together researchers in Higher Category Theory, Homotopical Algebra, Categorical Logic, Topos Theory, Homotopy Type Theory, Univalent Foundations, and Model Theory, so as to promote cross-fertilisation between these areas and inspire future developments.

=C2=A0<= /p>

Invited speake= rs:

=C2=A0<= /p>

Steve Awodey (= Carnegie Mellon University)=C2=A0

Julie Bergner = (University of Virginia)=C2=A0

Denis-Charles = Cisinski (University of Regensburg)=C2=A0

Ivan Di Libert= i (University of Gothenburg)=C2=A0

Eric Finster (= University of Birmingham)=C2=A0

Jonas Frey (Un= iversit=C3=A9 Sorbonne Paris Nord)=C2=A0

Nick Gurski (C= ase Western Reserve University)=C2=A0

Simon Henry (U= niversity of Ottawa) - TBC

Mark Kamsma (M= asaryk University)=C2=A0

Mike Lieberman= (Brno University of Technology)=C2=A0

Ieke Moerdijk = (University of Utrecht)=C2=A0

Lyne Moser (Un= iversity of Regensburg)=C2=A0

Martina Rovell= i (University of Massachusetts Amherst)=C2=A0

Christina Vasi= lakopoulou (National Technical University of Athens)=C2=A0

Paula Verdugo = (Max Planck Institute for Mathematics)=C2=A0

Joshua Wrigley= (Queen Mary University of London)

=C2=A0<= /p>

For more detai= ls, see=C2=A0https://gtendas.g= ithub.io/clhc/

=C2=A0<= /p>

The workshop i= s generously supported by the Dame Kathleen Ollerenshaw Trust.

=C2=A0<= /p>

With best rega= rds,

Giacomo Tendas= (also on behalf of Nicola Gambino)

--
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.com/d/msgid/HomotopyTypeTheory/CAPU2sowsRL1rEqeB7Q2M83tihwTE= D2GsSz9q%3Dq%3DOhA7cTYQStQ%40mail.gmail.com.
--000000000000ceff77062355db50--