From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10658 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: David Spivak Newsgroups: gmane.science.mathematics.categories Subject: =?UTF-8?Q?2022_colloquium_=E2=80=94_Topos_Institute?= Date: Thu, 10 Feb 2022 13:35:30 -0800 Message-ID: Reply-To: David Spivak 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="26481"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list Original-X-From: majordomo@rr.mta.ca Sat Feb 12 16:28:58 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 1nIuKX-0006gU-Tj for gsmc-categories@m.gmane-mx.org; Sat, 12 Feb 2022 16:28:58 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:44374) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nIuHi-00037u-0Y; Sat, 12 Feb 2022 11:26:02 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nIuHv-0005S7-0E for categories-list@rr.mta.ca; Sat, 12 Feb 2022 11:26:15 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10658 Archived-At: Dear category theorists, Topos Institute is starting up its colloquium series again next Thursday. This year, the colloquium topics will be more diverse, spanning four themes= : * Applied category theory * Ethics and societal impact of mathematics and computer science * Foundation Models: Logic, Categories, and Type theory * Technologies and tools For details about each of these, see the colloquium webpage: https://topos.site/topos-colloquium/ You can attend the talks as they occur=E2=80=94most Thursdays at 17:00 UTC= =E2=80=94by joining on zoom or by watching the livestream on YouTube; or you can watch afterward on the Topos channel: https://www.youtube.com/c/ToposInstitute If you'd like to receive reminders, you can sign up for our mailing list by sending an email (with arbitrary=3Dignored content and subject line) to seminars+subscribe@topos.institute Our first talk will be by David Danks, former head of the Philosophy Department at CMU; it takes place Thursday Feb 17 at 17:00 UTC, and his title and abstract are below. In the coming weeks we'll also have talks by Bob Coecke and Zo=C3=A9 Christoff. We look forward to seeing you there! Best regards, David =3D=3D=3D=3D=3D *Speaker: *David Danks *Title: *Ethics in AI, not Ethics of AI *Abstract: *Discussions of the ethical (and societal) impact of AI often implicitly assume that ethical issues arise only once the AI Is deployed or used. If AI is =E2=80=9Cjust math=E2=80=9D or =E2=80=9Cjust a tool,=E2=80= =9D then one might think that ethics is simply irrelevant to research and development of AI systems. In contrast, I will argue that ethical issues arise throughout every step of AI creation, including research efforts that seem to be outside of the scope of ethics. That is, ethics is an intrinsic part of AI, not something that arises only after the fact. Throughout this argument, I will provide examples of practical tools and practices to improve the ethics in one=E2= =80=99s AI systems. These insights and examples will apply to technology development in general, including fundamental mathematical research. =3D=3D=3D=3D=3D [For admin and other information see: http://www.mta.ca/~cat-dist/ ]