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.7 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,HTTPS_HTTP_MISMATCH,KHOP_HELO_FCRDNS autolearn=no autolearn_force=no version=3.4.4 Received: from SY5PR01CU010.outbound.protection.outlook.com (mail-australiaeastazlp170120005.outbound.protection.outlook.com [IPv6:2a01:111:f403:c40d::5]) by inbox.vuxu.org (Postfix) with ESMTP id B2B1B2D784 for ; Mon, 14 Oct 2024 22:04:10 +0200 (CEST) Received: from SmtpServer.Submit by SYBPR01MB6222 with Microsoft SMTP Server id 15.20.8048.27; Mon, 14 Oct 2024 20:04:07 +0000 Received: from SY7PR01MB8109.ausprd01.prod.outlook.com (2603:10c6:10:1e0::10) by SYBPR01MB6222.ausprd01.prod.outlook.com (2603:10c6:10:ec::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.27; Mon, 14 Oct 2024 20:03:55 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com (2603:10c6:220:61::15) by SY7PR01MB8109.ausprd01.prod.outlook.com (2603:10c6:10:1e0::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26; Mon, 14 Oct 2024 20:03:51 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::f8b:bee8:a4b2:1ac5]) by MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::f8b:bee8:a4b2:1ac5%6]) with mapi id 15.20.8048.020; Mon, 14 Oct 2024 20:03:50 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=JBSAulYQiGD864b/P8cbEa0TznT11dL19VPu6Z19hDLBcrKJkdEKPpPYScYKlm+swEdKBPsaabOT0EKYLPKI8ze9FEMehsAP2lN1IuvPu4QHNPQmeJNHBnRaQHfmqgs7V2dW777ZuXpbOL0ohdXN301LEoxT0jLvxknFzgq/Pcc4kFFrDPzFrCKiynVNde5HshFA5yfO6ymW/u6BrI/yKE5p0Uq3B4ic4s6aJ/o1oWZX4IUOw2TxxOvM8rckUuMLxQax5KpL5JMgoagppvSHC4p/ZfCL7yUbNQaGSM36eDo0IpJv3LiphYVO39ogSHOiT2g4aFPdY3OGGVLZGlxoPA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=JJ/S+UlvM88P7QZKR8K5lEELIWog6OyOu5vO8KoXEsQ=; b=OtMXWf6h6ptWkRrx6QrtUCmtNjybvAlt8OqeVG6MqimlOoJgCTTreQC/2X3t5BzcjS2nDps4+OZucRQ5Y4xIkQygdzgXCx1S8NO+M1fqRX4Xl7nkXncPaJNx5PXGtDtZHuraWEjeCeJ4dVUSrOIgD4sp135EV3cMw0YNbX5JdR3R19lSiywF0xhcIwR8pY/fOAqDm2pIqIB//QBBtBSfQ4dVmxff4oZCV3zLBpJt7dNEtgN3DMYttGETDyrwVg7PilaUWYRcgBO5x/entsE9+Ku1kDqgN51JKt45eFXT39jEEn0IBgNSmVQDE+SqFXnblj0LHxaT+RogPrQsEsxNiA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=none (sender ip is 209.85.167.53) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=topos.institute; dmarc=none action=none header.from=topos.institute; dkim=fail (body hash did not verify) header.d=topos-institute.20230601.gappssmtp.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0114.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:20b::8) by MEWPR01MB9180.ausprd01.prod.outlook.com (2603:10c6:220:1f9::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26; Mon, 14 Oct 2024 15:56:50 +0000 Received: from SY3PEPF0000A727.ausprd01.prod.outlook.com (2603:10c6:10:20b:cafe::22) by SY5P282CA0114.outlook.office365.com (2603:10c6:10:20b::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26 via Frontend Transport; Mon, 14 Oct 2024 15:56:50 +0000 Authentication-Results: spf=none (sender IP is 209.85.167.53) smtp.mailfrom=topos.institute; dkim=fail (body hash did not verify) header.d=topos-institute.20230601.gappssmtp.com;dmarc=none action=none header.from=topos.institute; Received-SPF: None (protection.outlook.com: topos.institute does not designate permitted sender hosts) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY3PEPF0000A727.mail.protection.outlook.com (10.167.241.23) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8069.17 via Frontend Transport; Mon, 14 Oct 2024 15:56:49 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1728921409; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=JJ/S+UlvM88P7QZKR8K5lEELIWog6OyOu5vO8KoXEsQ=; b=ZOR+q3mNXoXX8syrJiCUgcvxP2EakpiDeF/kFS2c+/D+TY9Zt4lfxtWYW7aa5KmFrTQZUG GiEOOU66sq0RhRSUZkNuz5F2JGFQQNPHgWuOJp7v/9ACdkgMdpRvzQ5f2WDvkNop6JnPyE 8IQvqRbAxoUah+u32tdGsWO2/0NgEGq1EUM194PrpfUL8/AaTW0quQRWoZEuhZess2r22V Rx5I4tu53r9TfsaOfXKrTqmT+WR43e8v3q6FY57xJmHTxEipxNDuUvZ+7jm4ia5wz9krlQ CFmJGo1PfFAMzWRdVlR40iR6w658c9IwmDqvOnGUmmKUakRfwK3rA85C1tjHEg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1728921409; a=rsa-sha256; cv=none; b=ga4zRKAaNVEaXdF4cmhROv2aVSk2sGi5yo0JAccJED0jVjX9IS8RkrJv84uh7aoeDkjg4r xpuUQUpKJ/ALXNJxTnV1BP2jJr1hz2uWiDw05GMw9qZ3Bdvc8mIUGBPsn+DZFMnYP1N9Cw Y9DQq8zoQdSsfJ1BmPzdKhlFkQd+KEKsLSLzJvhMrNCTpuIQYTzLHx9xlmuIGNYXZ2IBXn E0jqJrquAi0fSu+zp+hEl3goLYTBIhgp3hndO0O+s97QLULGmnEMn16Gb63WgbOns8XdFj fIm0bzTk1AaZw2lwkE9+9u1MnzeUg4taLJVCljCmjZRSm3j1WIrqjnhej8i/5A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=topos-institute.20230601.gappssmtp.com header.s=20230601 header.b=vTwv2VP5; dmarc=none; spf=none (relay.mimecast.com: domain of tim@topos.institute has no SPF policy when checking 209.85.167.53) smtp.mailfrom=tim@topos.institute Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=topos-institute.20230601.gappssmtp.com header.s=20230601 header.b=vTwv2VP5; dmarc=none; spf=none (relay.mimecast.com: domain of tim@topos.institute has no SPF policy when checking 209.85.167.53) smtp.mailfrom=tim@topos.institute Received: from mail-lf1-f53.google.com (mail-lf1-f53.google.com [209.85.167.53]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-21-SjQTfshBMP-YkHDBME6rrg-1; Tue, 15 Oct 2024 02:56:45 +1100 X-MC-Unique: SjQTfshBMP-YkHDBME6rrg-1 Received: by mail-lf1-f53.google.com with SMTP id 2adb3069b0e04-539f84907caso1209338e87.3 for ; Mon, 14 Oct 2024 08:56:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=topos-institute.20230601.gappssmtp.com; s=20230601; t=1728921402; x=1729526202; darn=mq.edu.au; h=to:date:message-id:subject:mime-version:from:from:to:cc:subject :date:message-id:reply-to; bh=z7B7usahP0hshWWZ24/7L61B6UjtMQQImdU9zBWc8cw=; b=vTwv2VP5dsMxc36sOczzWI6/xUhanIuQREeAdrBx7Lz8AuoPeB4RtJQJIUTErXfcRp CldJ/T7X+jpkQQGdHlKxjGK/Z09wlW7Zjg3PTAex2ek/lZFf5nToda9GiXXpyAZeIKi9 OZit5t6/oCbOBD3oirOD1/TX1kDZzlucwPnCEemCWaFdxDiKHtahMp5igjXVeTzjTcBM L//CKeLY69rsQ9bCXO9kPa91tdv53B/K7OxbA2BQoZQoANj3zaOUrDf2jDTXsTOL7/Lj A2/R3U9wl51OAACj0P/bSUwsJnaW+A/ZW6eutQb8EbPYFCE0v926a26NB/Mql9hl1CPY hIPQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1728921402; x=1729526202; h=to:date:message-id:subject:mime-version:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=z7B7usahP0hshWWZ24/7L61B6UjtMQQImdU9zBWc8cw=; b=hONl/c2acLBWjjAAg99O5HPDF80o1bDHvC5YGQnKy9L/cNSOi7ITocSi5fARPioYUl pZOEMkJGDh+tHCwQ19YWTLLI6IovKFpfveCy8SJpA2ixd4V4JoVZZALGtMhzSl6S5FGj I80va6F65fHaKDYz+kooc6IttyirOb83WNUCIUVAAe+6BcBlAo4gU77tpi1XO9+RKIoz 8GmMpnmosw2K40A+XMfSTjKcmu0GvI8KulM2aFptJqqCM947tQ2PY8sWiGnrqnv4SsJO chC3McwkRG+GrWWSF1VhWRkVOtUvMSsus6gOLu02vyQveLnSDmHpXdE2gj4Ncf0PVgFg wJgQ== X-Gm-Message-State: AOJu0YzMTyAO7K3U8drRstx6WfxZCCUz8Vf8BoZLSnuKGP9Hig2/6DlF 4RqKST+ugxBbNyALsN6Iz7/kABJqdjCwrSO4fEerQKLc4/R1WisEvbljsXTiIMXWMkWoNjJWyQK k/o4= X-Google-Smtp-Source: AGHT+IHybL5YRrwiFC1ZOdq/6+q+zVqbWRx+hVZ3N3wUMDYmoIHo6Xx2AO4eINIQ0s1ahL/e4tgp0g== X-Received: by 2002:a05:6512:2350:b0:539:f760:6031 with SMTP id 2adb3069b0e04-539f76062b6mr1887010e87.4.1728921401694; Mon, 14 Oct 2024 08:56:41 -0700 (PDT) Received: from smtpclient.apple ([62.172.228.130]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43017466e4fsm119196385e9.0.2024.10.14.08.56.41 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 14 Oct 2024 08:56:41 -0700 (PDT) From: Tim Hosgood MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\)) Subject: Final announcement: The Second Virtual Workshop on Double Categories Message-ID: <2CF22493-360D-4FB9-A441-96BA3FDC21F0@topos.institute> Date: Mon, 14 Oct 2024 16:56:30 +0100 To: categories@mq.edu.au X-Mailer: Apple Mail (2.3774.300.61.1.2) X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="Apple-Mail=_627D0F3C-5B59-4C84-8C12-D2B935ECB9E1" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.167.53];domain=mail-lf1-f53.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.167.53];domain=mail-lf1-f53.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A727:EE_|MEWPR01MB9180:EE_|SY7PR01MB8109:EE_|SYBPR01MB6222:EE_ X-MS-Office365-Filtering-Correlation-Id: 9a29bdad-5b6f-4062-87bd-08dcec68d043 X-Moderation-Data: 10/14/2024 8:03:48 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 9a29bdad-5b6f-4062-87bd-08dcec68d043 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A727.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Oct 2024 20:03:50.7962 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB6222 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: <2CF22493-360D-4FB9-A441-96BA3FDC21F0@topos.institute> Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-OriginatorOrg: mq.edu.au --Apple-Mail=_627D0F3C-5B59-4C84-8C12-D2B935ECB9E1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" THE SECOND VIRTUAL WORKSHOP ON DOUBLE CATEGORIES Dates: Selected days from 21st =E2=80=93 30th of October, 2024 Location: virtually on Zoom Website: https://bryceclarke.github.io/virtual-double-categories-workshop/<= https://url.au.m.mimecastprotect.com/s/AtH3C2xMRkUpK5AyQInf6F5I-s0?domain= =3Dbryceclarke.github.io/> The goal of the workshop is to bring together researchers, with a focus on = those early in their career, to share recent work on double categories and = their applications to domains such as computer science, type theory, applie= d category theory, and higher category theory. The workshop will be open fo= r everyone to attend online, with recordings of the talks being uploaded af= ter the workshop is finished. The workshop will hopefully be of interest to both those who are new to dou= ble categories and want to learn about the fundamental techniques and viewp= oints, and also to domain specialists who are interested in technical resul= ts and current topics of active research. We also hope that this workshop w= ill create a snapshot of the research area as it currently stands together = with directions for future work, as well as provide an invitation to people= wanting to know more about the area, or who are wondering if the tools or = ideas in double category theory might be useful to their own research. This workshop follows from the first Virtual Double Categories Workshop hel= d online in 2022. SPEAKERS Lander Hermans (University of Antwerp) Keisuke Hoshino (Kyoto University) Dylan McDermott (University of Oxford) Adrian Miranda (University of Manchester) Evan Patterson (Topos Institute) Rui Prezado (Universidade de Aveiro) Nima Rasekh (Universit=C3=A4t Greifswald) Jaco Ruit (Utrecht University) Maru Sarazola (University of Minnesota) Miloslav =C5=A0t=C4=9Bp=C3=A1n (Masaryk University) PROGRAMME The full schedule for the workshop, including titles and abstracts, is now = available on the website and at the link below (where it will be displayed = in your own timezone): https://researchseminars.org/seminar/SecondVDCW We have tried to ensure that talks are given on different days of the week = and at a variety of different times, so as to hopefully fit a wide range of= schedules worldwide. The workshop will be held: Monday 21 October, 15:00-17:00 UTC Thursday 24 October, 8:00-11:00 UTC Tuesday 29 October, 22:00-1:00 UTC Wednesday 30 October, 15:00-17:00 UTC FORMAT AND REGISTRATION The workshop will be hosted on Zoom, and we welcome all participants. If yo= u are interested in joining the workshop, then please use the registration = link below. An email will be sent on Sunday 20 October with the Zoom link a= nd other participation information. If there are any last minute changes or= disruptions during the event, registered participants will be notified via= email. After the workshop has finished, the recorded talks and slides will be made= publicly available. Registration link: https://forms.gle/hSk9e3Fh1vkp6J8x6 CONTACT For any questions, please contact the organisers (email both): Bryce Clarke > Tim Hosgood > You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --Apple-Mail=_627D0F3C-5B59-4C84-8C12-D2B935ECB9E1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

THE SECOND VIRTUAL WORKSHOP ON DOUBLE CATEGORIES


Dates: Selected days from 21st =E2=80=93 30th of October, 2024


Location: virtually on Zoom


Website: https://bryceclarke.github.io/virtual-double-categories-workshop/


The goal of the workshop is to bring together researchers, with a focus on = those early in their career, to share recent work on double categories and = their applications to domains such as computer science, type theory, applie= d category theory, and higher category theory. The workshop will be open for everyone to attend online, with reco= rdings of the talks being uploaded after the workshop is finished.


The workshop will hopefully be of interest to both those who are new to dou= ble categories and want to learn about the fundamental techniques and viewp= oints, and also to domain specialists who are interested in technical resul= ts and current topics of active research. We also hope that this workshop will create a snapshot of the re= search area as it currently stands together with directions for future work= , as well as provide an invitation to people wanting to know more about the= area, or who are wondering if the tools or ideas in double category theory might be useful to their own rese= arch.


This workshop follows from the first Virtual Double Categories Workshop hel= d online in 2022.


SPEAKERS


Lander Hermans (University of Antwerp)

Keisuke Hoshino (Kyoto University)

Dylan McDermott (University of Oxford)

Adrian Miranda (University of Manchester)

Evan Patterson (Topos Institute)

Rui Prezado (Universidade de Aveiro)

Nima Rasekh (Universit=C3=A4t Greifswald)

Jaco Ruit (Utrecht University)

Maru Sarazola (University of Minnesota)

Miloslav =C5=A0t=C4=9Bp=C3=A1n (Masaryk University)


PROGRAMME


The full schedule for the workshop, including titles and abstracts, is now = available on the website and at the link below (where it will be displayed = in your own timezone):


https://researchseminars.org/seminar/SecondVDCW


We have tried to ensure that talks are given on different days of the week = and at a variety of different times, so as to hopefully fit a wide range of= schedules worldwide.


The workshop will be held:

Monday 21 October, 15:00-17:00 UTC

Thursday 24 October, 8:00-11:00 UTC

Tuesday 29 October, 22:00-1:00 UTC

Wednesday 30 October, 15:00-17:00 UTC


FORMAT AND REGISTRATION


The workshop will be hosted on Zoom, and we welcome all participants. = If you are interested in joining the workshop, then please use the registra= tion link below. An email will be sent on Sunday 20 October with the Z= oom link and other participation information. If there are any last minute changes or disruptions during the event, regi= stered participants will be notified via email. 


After the workshop has finished, the recorded talks and slides will be made= publicly available.


Registration link: https://forms.gle/hSk9e3Fh1vkp6J8x6


CONTACT 


For any questions, please contact the organisers (email both):

Bryce Clarke <bryce.clarke@ta= ltech.ee>

Tim Hosgood <tim@topos.institute<= /a>>


 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--Apple-Mail=_627D0F3C-5B59-4C84-8C12-D2B935ECB9E1--