From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10249 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Paul-Andre Mellies Newsgroups: gmane.science.mathematics.categories Subject: GeoCat workshop -- Sunday 5 and Monday 6 July Date: Sat, 4 Jul 2020 13:54:38 +0200 Message-ID: Reply-To: Paul-Andre Mellies Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) 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="23320"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Mon Jul 06 15:17:08 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jsQzb-0005tV-LQ for gsmc-categories@m.gmane-mx.org; Mon, 06 Jul 2020 15:17:07 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59472) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jsQz6-0001qK-VG; Mon, 06 Jul 2020 10:16:36 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jsQym-0006Xp-Hh for categories-list@rr.mta.ca; Mon, 06 Jul 2020 10:16:16 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10249 Archived-At: Dear friends and colleagues, This is a reminder that the GeoCat workshop will start online tomorrow = and take place on Sunday 5 and Monday 6 July. The purpose of the GeoCat workshop is to provide an open and = interdisciplinary venue where mathematicians, logicians and computer = scientists interested in category theory, algebraic topology and higher = structures can freely meet and interact. The ambition of the workshop is = to establish and nourish a fruitful dialogue between the foundational = and categorical aspects of topology and geometry on the one hand, and of = computation and deduction on the other hand. We are very happy with the scientific program of the workshop, which = will offer us the opportunity to listen to eight invited speakers: Denis-Charles Cisinski (Universit=C3=A4t Regensburg) Andrea Gagna (Charles University) Amar Hadzihasanovic (Universit=C3=A9 de Paris) Yuki Maehara (Macquarie University) Philippe Malbos (Universit=C3=A9 Claude Bernard) Simona Paoli (University of Leicester) Sophie Raynor (Macquarie University) Martina Rovelli (Australian National University) The workshop is free and online and you are thus all welcome to join and = take an active part to it. You will find more on the event here: https://www.irif.fr/~geocat Note that in order to have access to the talks, you will first need to = register here: https://fscd2020.org/register-ws Many thanks, we are looking forward to meeting you online very soon! Christine and Paul-Andr=C3=A9 ps: please do not hesitate to contact us if you have any difficulty to = register and access the workshop online. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D Program of the GeoCat workshop=20 Sunday 5 July 9:30am -- 11am (Paris time) Yuki Maehara (Macquarie University) A cubical model for weak =CF=89-categories 11:30am -- 1pm (Paris time) Simona Paoli (University of Leicester) Stable homotopy hypothesis in the Tamsamani model 2pm -- 3:30pm (Paris time) Denis-Charles Cisinski (Universit=C3=A4t Regensburg) Universal coCartesian fibrations 4pm -- 5:30pm (Paris time) Amar Hadzihasanovic (Universit=C3=A9 de Paris) Diagrammatic sets and rewriting in weak higher categories Monday 6 July=20 9:30am -- 11am (Paris time) Sophie Raynor (Macquarie University) A distributive law for modular operads 11:30am -- 1pm (Paris time) Philippe Malbos (Universit=C3=A9 Claude Bernard) Variations on linear rewriting 2pm -- 3:30pm (Paris time) Andrea Gagna (Charles University) Equivalence of models for (=E2=88=9E, 2)-categories 4pm -- 5:30pm (Paris time) Martina Rovelli (Australian National University) Globular vs simplicial approach to (=E2=88=9E,2)-categories= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]