From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10839 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Bryce Clarke Newsgroups: gmane.science.mathematics.categories Subject: First announcement: Virtual Double Categories Workshop Date: Tue, 1 Nov 2022 07:45:36 +0100 (CET) Message-ID: Reply-To: Bryce Clarke Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29019"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Wed Nov 02 01:18:56 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oq1T5-0007Ha-VR for gsmc-categories@m.gmane-mx.org; Wed, 02 Nov 2022 01:18:56 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:34464) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1oq1SR-0004V2-5L; Tue, 01 Nov 2022 21:18:15 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1oq1Ri-0000Cn-HU for categories-list@rr.mta.ca; Tue, 01 Nov 2022 21:17:31 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10839 Archived-At: VIRTUAL DOUBLE CATEGORIES WORKSHOP=20 Dates: Monday 28 November - Friday 2 December 2022=20 Location: virtually on Zoom=20 Website: [ https://bryceclarke.github.io/virtual-double-categories-workshop= / | https://bryceclarke.github.io/virtual-double-categories-workshop/ ]=20 Research seminars: [ https://researchseminars.org/seminar/VirtualDoubleCate= goriesWorkshop | https://researchseminars.org/seminar/VirtualDoubleCategori= esWorkshop ]=20 The goal of the workshop is to bring together researchers to share recent= =20 work on double categories and their applications to domains such as=20 computer science, type theory, applied category theory, and higher=20 category theory. The workshop will be open for everyone to attend online,= =20 with recordings of the talks being uploaded after the workshop is finished.= =20 Speakers have been invited to give talks all along the=20 =E2=80=9Cexpository=E2=80=93technical=E2=80=9D scale, so the workshop will = hopefully be of interest=20 to both those who are new to double categories and want to learn about=20 the fundamental techniques and viewpoints, and also to domain=20 specialists who are interested in technical results and current topics of= =20 active research.=20 We hope that this workshop will create a snapshot of the research area=20 as it currently stands together with directions for future work, as well as= =20 provide an invitation to people wanting to know more about the area, or=20 who are wondering if the tools or ideas in double category theory might=20 be useful to their own research.=20 FORMAT AND REGISTRATION=20 The workshop will be hosted on Zoom, and we welcome all participants.=20 If you are interested in joining the workshop, then please use the=20 registration link below so that we can contact you closer to the time with= =20 the Zoom link and other participation information.=20 After the workshop has finished, all the recorded talks will be made=20 publicly available.=20 Registration link: [ https://forms.gle/ZyFu9R1GZ41aRyG59 | https://forms.gl= e/ZyFu9R1GZ41aRyG59 ]=20 SPEAKERS=20 Nicolas Behr=20 John Bourke=20 Matteo Capucci=20 Matthew Di Meglio=20 Bojana Femi=C4=87=20 Seerp Roald Koudenburg=20 Michael Lambert=20 Jade Master=20 Lyne Moser=20 Chad Nester=20 Susan Niefield=20 Juan Orendain=20 Simona Paoli=20 Robert Par=C3=A9=20 Claudio Pisani=20 Dorette Pronk=20 Brandon Shapiro=20 Christina Vasilakopoulou=20 Paula Verdugo=20 PROGRAM=20 The full schedule for the workshop is available on the website=20 and at the link below (where it will be displayed in your own timezone):=20 [ https://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop | ht= tps://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop ]=20 Titles and abstracts will be made available over the coming weeks.=20 The workshop will be held:=20 Monday 28th Nov. at 17:30 - 20:30 UTC=20 Tuesday 29th Nov. to Friday 2nd Dec. at 15:00 - 19:30 UTC=20 CONTACT=20 For any questions, please contact the organisers (email both):=20 Bryce Clarke =20 Tim Hosgood =20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]