From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10857
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Andrei Popescu
Newsgroups: gmane.science.mathematics.categories
Subject: Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
Date: Mon, 14 Nov 2022 12:49:15 +0000
Message-ID:
Reply-To: Andrei Popescu
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="22400"; mail-complaints-to="usenet@ciao.gmane.io"
To: categories@mta.ca
Original-X-From: majordomo@rr.mta.ca Tue Nov 15 00:28:18 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 1ouisE-0005cb-Dq
for gsmc-categories@m.gmane-mx.org; Tue, 15 Nov 2022 00:28:18 +0100
Original-Received: from rr.mta.ca ([198.164.44.159]:35494)
by smtp2.mta.ca with esmtp (Exim 4.80)
(envelope-from )
id 1ouirU-0005ts-ET; Mon, 14 Nov 2022 19:27:32 -0400
Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1)
(envelope-from )
id 1ouiqM-0003kW-3J
for categories-list@rr.mta.ca; Mon, 14 Nov 2022 19:26:22 -0400
X-EOPAttributedMessage: 0
Precedence: bulk
Xref: news.gmane.io gmane.science.mathematics.categories:10857
Archived-At:
EVENT: Annual LMS/BCS-FACS Evening Seminar
SPEAKER: Sam Staton, University of Oxford
TITLE: Programming-based foundations for statistics
DATE: Thursday, 17 November 2022, Starting time: 18:00 UTC
VENUE: Online via Zoom
EVENT PAGE: https://www.lms.ac.uk/events/lectures/lms-bcs-facs-evening-semi=
nars
REGISTRATION LINK: https://www.lms.ac.uk/civicrm/event/register?id=3D88&res=
et=3D1
Prior registration is required for attendance -- the registration site
will close on Wednesday, 16 November, at 17:00
SYNOPSIS
Probabilistic programming is a popular tool for statistics and
machine learning. The idea is to describe a statistical model as
a program with random choices. The program might be a simulation
of a system, such as a physics model, a model of viral spread,
or a model of electoral behaviour. We can now carry out
statistical inference over the system, for example, by running a
Monte Carlo simulation =E2=80=93 running the simulation 100,000=E2=80=99s o=
f
times.
As I will discuss in this talk, the idea of treating statistical
models as computer programs also has a foundational appeal. If
we can understand statistical models as programs, then the
foundations of probability and statistics can be discussed in
terms of program semantics. There is a chance of new
foundational perspectives on statistics, in terms of programming
languages and their formal methods.
As I will explain, this programming-based foundation for
statistics is attractive because there are some intuitively
simple scenarios, such as inference over function spaces, which
have an easy programming implementation, but for which the
traditional mathematical interpretation is complicated.
SPEAKER BIOGRAPHY
Sam Staton is a Professor of Computer Science and Royal Society
University Research Fellow at the University of Oxford. There he
currently runs an ERC grant "Better Languages for Statistics".
Before arriving in Oxford in 2015, Sam spent time in Nijmegen,
Paris, and Cambridge. His PhD was in Cambridge with Marcelo
Fiore (2007). Sam's main research is in programming language
theory, but he is also interested in logic and category theory.
He has recent contributions in probabilistic programming
languages, and quantum computing and programming languages.
Webpage: https://www.cs.ox.ac.uk/people/samuel.staton/main.html
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]