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=-1.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-pl1-x640.google.com (mail-pl1-x640.google.com [IPv6:2607:f8b0:4864:20::640]) by inbox.vuxu.org (Postfix) with ESMTP id 01B8B2928D for ; Sun, 18 Feb 2024 17:45:31 +0100 (CET) Received: by mail-pl1-x640.google.com with SMTP id d9443c01a7336-1d9c1d53de7sf32144925ad.0 for ; Sun, 18 Feb 2024 08:45:31 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1708274730; cv=pass; d=google.com; s=arc-20160816; b=X2uI9tY4UQXjqE4gqYfr/uN+gmUYgBztWlSbRfRPaZtaFxbbaxJMxlKhhkDq6uK48c UxIRNiVMcXpzWZUSRawmgBhoM0ncs8Y7DMhUXd7Rn+12DMQ5MdhPy3qEvC6sQ9dCMdIK qSp2miw5wmvlXkKOU0JmNUu0vLl/QnO47OE+Sg6tEZkWMCHu61BWyECXJBD2Pb+vfTZ+ iuWklMmwCytyh+WFD4oVIJuPQUgOusle9Q9Yj6jwJG+8DfjAz8SozZulwTH2TKXJmwY7 fZ3wft7JbsP91HMSR0XyD+bKqauZxWKamAGA5Cf8eARBfX5CGCQb6UDo9Qz38g9BhIuu 0UrQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:subject:to:from:content-language:user-agent :mime-version:date:message-id:sender:dkim-signature:dkim-signature; bh=UuF30X+8z1Gfnh/ieWEjdcGs+ykszPi0QBgBSuskL9g=; fh=a8vfd5/EwWJ/h3Ks/iZoZcAjib1lXM8eRoUSKqOO3A0=; b=d+ucJui6vYhQk33SthxGXN9zRxvGXXZXDZv0flyO7q+AXkY2o1bMbAH3zmPeqV0kf5 LSQ9G5bi3YJ4nfXimsB5ZRQvpBx61TPgqgIR1R+XaCXYXL7uP9zWQveN1lycR9wpXQ+w OGfCfzh/buNDXNZGGK22It+uMh+5yNIYvBwQnMbjit6neZtS+7FdE8HsUrlltwvYH+P3 W25Vt0DVAm3fFy+OpiOrxv4vWaDib+YIsKlUEs7TT8Zo3YbqN1u7GvH9TgkWwLrgnW+M YIQen3T3hRj/OMoV6TMqOD6n8P4cMMAO8uzl54z3tg3VdihEemOuy9erKlXrFNleA8eQ 95mA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=BQe2J9HR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=k.kapulkin@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=20230601; t=1708274730; x=1708879530; 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:subject:to:from:content-language:user-agent :mime-version:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=UuF30X+8z1Gfnh/ieWEjdcGs+ykszPi0QBgBSuskL9g=; b=A7Bmg+tsBNXnvQhko9uc29YqVWgaH6yxLeE/EveWcms+QBc5Gd+S4YarI5uHgqHGCZ akSLq/fQMYR1UN4jLzn1sGwqGuCMkd5bWHZhFSKziOQ40nbS5bdbhXHa48SKXZa7kRc6 +EAm21s9afTjSwq27+s+J63DuP5DCqDLuf3bLQTBPeiUBagn3bdIdsVTtvc7ahD7KS9n Dtc+zf5kdM0Ely5oZ5Z3S+iDKYuJScukADbcpIhOBrB6pggcW8c6A7aBkj8aKsSPC1kQ GbtS9u+MW2x2JN8eZgUnCf2KJ8T4yd6/SGRMpEx7iiwZVLAkKqqIYdcd7+YXy3+f8gpx Apng== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708274730; x=1708879530; 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:subject:to:from:content-language:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=UuF30X+8z1Gfnh/ieWEjdcGs+ykszPi0QBgBSuskL9g=; b=jt9um1+1grcMSbOWXkLn8nEshDB1JeRMjvkZgV+S16i/peLyq1oxNPeiZm21NEDNTI /ySh/QJRaqaeY20L2cXimm39LLxSZWIgS8LKpVReEdkWEqeXjgVlR8jyHCd/Rqd9byrR XXQtHB8XwxjowQo2V33/tLdg113hv6Z+H56vOgjohmj67Ay8Nhm3OyQy3NxoTfMmmMTQ cxbP0oLby8qDqjKFhaCc7DQ+b6AyC8ycfTuwiMwpncL62XO6/A47KKr7IWM52rMzhwuV r8kbyeOy3TcKNVAX6ybRax+mctjzHr3/c8RNZOj8cTe+4/IECZHmQKRXC1y5cI7SAZOt jq5Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708274730; x=1708879530; 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:subject:to:from :content-language:user-agent:mime-version:date:message-id :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=UuF30X+8z1Gfnh/ieWEjdcGs+ykszPi0QBgBSuskL9g=; b=H0xz3Q0oYT5WNd4CXlCN1yEDb/bTbJZ9qMaWkEMhTC0YsolHfeQ9FegJu7vMCL/jm/ aCohwdPuO5zGtz3QsbHMdJe+RXadLpd0AAMzY/K7ydF/R3iTW9JaoQvfG0Ig2noA2v9o YXgxKhrHlIPuXwRWdWQSzYKAqojVJER9kJauvFuIilR6a3F2GdgmXlsISCloVIF07Z9F rdxkwRo5hXDnf/HcwXJ16tWm1bPx5nS7A3NtVq1j1cfocx2TLrywaRpRX2L8fjFZ4F7Q JyKwmmeR0Y7FELSqtPldFiKXXb90Y3olQ82pFMNRQc1UaSwy1bDempLVvDt+6tDlanVK dNEg== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCUy5GhTpG7q17vOKWhNhBMul/3pVW6KlAcYRSDVb7M8hp8zcytScR3VVqa33h39pmGteZgJqvd0FvMtY+E0RsjltA== X-Gm-Message-State: AOJu0YxuSQKGzEK1c4s267FP3sAxGIWGCLCNrlJoV64lhEvVIQl3eNAx cqIUsKDsK+pJStiS4FsPWRQSdCqIlWU9FtuR0UmEWUuzfXg/w6l4 X-Google-Smtp-Source: AGHT+IHMyMNcJGYY5p24Iqw1yEbHA/8tL28nq+aoIgp1L0au++LhFL34W9OKrQmgow2ezuFZvGD9gw== X-Received: by 2002:a17:903:185:b0:1db:beac:61af with SMTP id z5-20020a170903018500b001dbbeac61afmr8305396plg.0.1708274729673; Sun, 18 Feb 2024 08:45:29 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:c20b:b0:1d9:10f0:ac29 with SMTP id 11-20020a170902c20b00b001d910f0ac29ls1178045pll.2.-pod-prod-00-us; Sun, 18 Feb 2024 08:45:27 -0800 (PST) X-Received: by 2002:a17:902:e545:b0:1db:ecf1:3b83 with SMTP id n5-20020a170902e54500b001dbecf13b83mr1507275plf.23.1708274727464; Sun, 18 Feb 2024 08:45:27 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1708274727; cv=none; d=google.com; s=arc-20160816; b=bp1gDVyhliKQPYXa4u0wBifZqv/oe893eXWqobRIdSNz2WyAzUKtgDB14C3rJfMm8h AntxgvtzVvH/JUhOflX6SYS1pR8AeMihM9bP+qkmaQGt+B6DUJBAnbi53npfpscNNKYS 5I2yTNSisejO+8DOu1ArmMG2DOins1KhhzdZwVibUeO5W0yidiMsYyPAGXljM4UubKGI E1Y02q1DJ7LlaYLL+ZxZ5Kd61A0VZArZZuAQ+X+1jJunSpOmJePLWnTAUxaon3XXErB/ o+0s2Y9Y7j5ty18DHzavbQx/DCfpzB0HVhjantfLrqZ/8CL8TFsPzOIccXLm8lFMLQZL fLmw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:subject:to:from:content-language :user-agent:mime-version:date:message-id:dkim-signature; bh=JjI1VrkNYqCdgWcVM99ADrEPv4f+poiwqRH+aD6EgFk=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=L88dWfi4piigG61F+1LbHmupkBFXWc2G7DruQDPP387rZWVZkiltTXKSEMYJ/f2yOQ JlNGHKhhZEeBl6Oe28gcld0z+VqmQHtH+H4DzPE2dTfyxjcu5LL2uZyIM3JBTV6sGanT p+dO+YkW2ZL9Z/Dtzm2zJiahgqsKajS/3Nmzi6UrnZeAfNs43nBZ8IWBjM7qldTmhUUm 99uUHCzWUdqZqvxWNPZTQ0R7XXUe0KUil+Ce3iZa6Gi/qVgWtKVxl1JVTV5mrICIi4P5 BAdtkTQCtJdI5mv/M50f6zNpxmk8l3LRf0GsY4ajasxnCX15WAhG1J4SrSHs5GQyN0mg G1gA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=BQe2J9HR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qk1-x731.google.com (mail-qk1-x731.google.com. [2607:f8b0:4864:20::731]) by gmr-mx.google.com with ESMTPS id kv5-20020a17090328c500b001db63388676si239628plb.8.2024.02.18.08.45.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 18 Feb 2024 08:45:27 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) client-ip=2607:f8b0:4864:20::731; Received: by mail-qk1-x731.google.com with SMTP id af79cd13be357-7872614af89so344204385a.0 for ; Sun, 18 Feb 2024 08:45:27 -0800 (PST) X-Received: by 2002:a05:620a:198b:b0:787:3fba:3264 with SMTP id bm11-20020a05620a198b00b007873fba3264mr16329035qkb.0.1708274725678; Sun, 18 Feb 2024 08:45:25 -0800 (PST) Received: from [10.0.0.204] (c-69-143-91-141.hsd1.md.comcast.net. [69.143.91.141]) by smtp.gmail.com with ESMTPSA id bm37-20020a05620a19a500b00787267dbc73sm1700755qkb.72.2024.02.18.08.45.24 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 18 Feb 2024 08:45:24 -0800 (PST) Message-ID: <32263316-e226-4dc0-834f-601366f099e0@gmail.com> Date: Sun, 18 Feb 2024 11:45:22 -0500 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US From: Chris Kapulkin To: Homotopy Type Theory Subject: [HoTT] HoTT submissions to CJM and CMB Content-Type: text/plain; charset="UTF-8"; format=flowed X-Original-Sender: k.kapulkin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=BQe2J9HR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=k.kapulkin@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: , Hi y'all, I'd like to encourage those of you working on mathematical aspects of HoTT to submit your relevant work to the Canadian Journal of Mathematics (more than 20 pages) and the Canadian Mathematical Bulletin (at most 20 pages). https://www.cambridge.org/core/journals/canadian-journal-of-mathematics https://www.cambridge.org/core/journals/canadian-mathematical-bulletin It's good for our community to be visible in general math journals such as CJM and CMB, and now there is, shall we say, a sympathetic editor. Best, Chris -- 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/32263316-e226-4dc0-834f-601366f099e0%40gmail.com.