From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10856 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrei Popescu Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.science.mathematics.logic.isabelle.user 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="11718"; mail-complaints-to="usenet@ciao.gmane.io" To: caml-list@inria.fr, categories@mta.ca, cl-isabelle-users@lists.cam.ac.uk, concurrency@listserver.tue.nl Archived-At: Original-X-From: caml-list-owner@inria.fr Mon Nov 14 13:49:32 2022 Return-path: Envelope-to: gclci-caml-list@m.gmane-mx.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by ciao.gmane.io with esmtp (Exim 4.92) (envelope-from ) id 1ouYu3-0002mS-Ra for gclci-caml-list@m.gmane-mx.org; Mon, 14 Nov 2022 13:49:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=ZfmXkPfnHbly8ldbc1tAmEW9d87fT+77Ts4UsLwj7Jo=; b=t9wySIWmiDmg/UQhkacqaeyHJFMTjj7oSUkZ0OtkbjeDmHs/QFVPNRfh SUN9/ZnyAbHUs3P0zeBP/vuXnRoAeoAO0nrmV6aOeheuceOgcDC2ZqTEo yob3DvDNed3A51Fi5cJb72S8iSy7tkbXsm4TEFA7D3nuKD7zSx807nLog Y=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.96,161,1665439200"; d="scan'208";a="78048975" Original-Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Nov 2022 13:49:30 +0100 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id A832BE03A6; Mon, 14 Nov 2022 13:49:30 +0100 (CET) Original-Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A74F4E0092 for ; Mon, 14 Nov 2022 13:49:27 +0100 (CET) IronPort-SDR: 63723957_RFK8fGfvoDhTqCl4ciJl5JIUIynlfIE2y0xbHrsnjh1d7j3 6AsvnxnTpTkR9/RsUe5+c11cIgRz+bbLw6sjghQ== X-IPAS-Result: =?us-ascii?q?A0GvCQDqN3Jjf7TeVdFaDnuDVCiBAlUvBAtFhE+OdTOBc?= =?us-ascii?q?oxTjwqBaoEsPg8BAwENOQsEAQEDAQOEfoR+Ah0HAQQ0EwECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEDAQEFAQEBAgEBAgQEAQECEAEBGAkZBw4OBSSFaA2CNQwaViNNAwYBA?= =?us-ascii?q?QEBAQEBAQEnAgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEEAhRSGDk4ER0BGxENAxIQDwIfBwIkAREBBQEjNIIDWYJtAQMwAxCfD4EEQ?= =?us-ascii?q?osygRUFAhaBAYIJBpwHChkoDWgDgVsCAQYSgQIshy6BUoNggzZ6J4EEgSWBF?= =?us-ascii?q?TaGFAECARiBLS6DQoJnBJdAAQMHAwQGBQ8DAwIhAQIBQx0CCQMjDwMLCQgTP?= =?us-ascii?q?wYBAgEBAgoHPwQbHwMBAQ8kAQECAgIDBAcCAQMGAwwCAgEBAQUGCgMDAgMIE?= =?us-ascii?q?wMCAQMFAgIEAQIECggBAgIBAgQFBwIBCAYFDQUSAQECAwcEAwIPAgUDBQUDA?= =?us-ascii?q?wIBCgUCAwECAQEDBgQEAQECAwICAQYCAgEBAwMEAwECBgICBwIDAgEEAgMDA?= =?us-ascii?q?QEBAgICAgICAwMJAggHBQEGAQIBBAMCAgECBwEEAQgDAwUFCQ8DBQMBAwMCC?= =?us-ascii?q?AwGBAUBAwgGCAIEBQIFAwIEAgMCAggDAgQDCwMFB IronPort-PHdr: A9a23:Acbg6B1AX3IAvimIsmDOuQ0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaDo6k3xwaUFcWDsrQY0bGQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCSybL9oI xi6swrdutQWjIB/Lqo91gbFrmFHduhIy25kP06fkwr56syt4JNt7iNctu47+cVdS6v6ZaM4T bJZDDQiLW844dDguAfAQwWS+HYSS30anRVUDQfL6hH6RYrxvTDhtuVhwimaPNb5Qq4yVD+/8 qpkUh7oiCMANz4k7GHaj9F7gaxHrB69oRF03onbbpySNPpkYqPSY84VS3ZfUclNVixBGp2wZ JYLA+cOIepUqo/wrEYMoxSjHwmhHOzgxD9GiHH1wKM0zfguHw7d0Qw8BtIDqmjYoMnpOKoQV +2+0anGzS/Eb/NTwTrw9I7IfQ07of6SXLJ7bNDfyU43FwzblVWftZHlNC6S2+sXtWiU8vBgW vyui2I9qwF9uCCvxsA0iobXnYIa1k3E+D52wIYwP9K4SUp7bcS4H5tXsiGXLo17Sd4tTG90o ig10KEGuYKlcygQzpQq3xHRZuKJfoWH4h/uWuScLCp6iX9hZL+zmwu+/Ee+x+HiSsW5zFdHo yhGn9XQsn0ByQLe5tSaRvdg8UqtxDaC2gLV5+pZL040kq/bJIQgwr42jpcTtUHDHjTslErsk KCabFgk+uuw5+TgbbTqvIWTOJNuhgHjMaQjnNG0D+cgMgUWQWSX5eCx2Kfg8ED5WrlGkOM6n rfDvJzHJsk IronPort-Data: A9a23:PNzEK6tkwQl9mueg4noq5+pf0+fnVLBaMUV32f8akzHdYApBsoF/q tZmKWCEaa2CZmP9KYwjO9jn9ElXvMXSx4IwTlc9rChmF35HgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtcpvlDs15K6o4WpB4gRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJEsPOtYc36E0O3hp8 O0DIR1WdwrA2P3jldpXSsE07igiBMziPYdao3I5iD+AXa5gTpfETKHHo9Rf2V/chOgURaeYN 5dfM2A1Kk2QO3WjOX9PYH46tO6uimPycntY7kqSvacs6HX7wwl40byrO93QEjCPbZoFxhrI9 jOZl4j/KgMgDPaDjj6hznP2p7TCzB/eR4IPFJTto5aGh3XKnjBJYPEMbnOwqPy9z0q/QM53M F0R4iNorK4o9UXtQMOVYvGjiHuNvxpZQtkJVuNjuFnLxa3T7AKUQGMDS1atdeDKquc8fDtx0 nrO3OnwIjl+q7S4EmuHteiL+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7q5jESMWGvq w1mvBTSlJ1I0pFWj/TTEUTvxmPz9sKQH2bZ8y2OBjr9hj6VcrJJcGBB1LQ2xfNJLYLcV1rY+ XZdy5DY4+c IronPort-HdrOrdr: A9a23:p/weE6BgTifdqYLlHemv55DYdb4zR+YMi2TDsHoBLyC9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.96,161,1665439200"; d="scan'208";a="78048897" X-MGA-submission: =?us-ascii?q?MDHgGo1mi9eCnGvrmS4n1Qjm3HYkLxkj+yECeS?= =?us-ascii?q?8YJRtxb6vs25fLNy65mSLi/IjeEAyTly+ZG+5D6apo0Bi+1TwM8MLT5o?= =?us-ascii?q?AGXjcoZbhCCN8UJ0aOXtQSBOpJ7Fv4ZenKFmMIS3t4+qv7uLab5oXj2L?= =?us-ascii?q?D4liz1mpeV4TMPYoMiiCPwbA=3D=3D?= Original-Received: from mail-qk1-f180.google.com ([209.85.222.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Nov 2022 13:49:27 +0100 Original-Received: by mail-qk1-f180.google.com with SMTP id x21so7293203qkj.0 for ; Mon, 14 Nov 2022 04:49:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=ZfmXkPfnHbly8ldbc1tAmEW9d87fT+77Ts4UsLwj7Jo=; b=ClAqVr3wdV148/un0r6EOWiJ2nTMC30U8neDgGa24I08BXZyyD09s7Z0L5470yk05K h+7WJoNbx34Ic5inzi1Y4aRn2D3u9TgcIyrNFwlBh2ZF3rIvxoRMoeExYeOC82PnrHxX 6EpXPn+68Ldr3/vEluCTaw4NBxqmTCdTke9FCfhcuTHQyNC1diZfAljCyJuSEopj9ggI fhDkETSoGmNkBipAZ87KBlz0fQUmE2cDxU5LPiU1SO2UbiM24GgvJztL5byjLXDA+BYp Ijfgoj7az982AaMpXjM/+RE8SU/MLjdDNDa9oBJLledXCTDS4GDuPXYO5rPtcb7JTP83 O0pA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=ZfmXkPfnHbly8ldbc1tAmEW9d87fT+77Ts4UsLwj7Jo=; b=F31ZTVTCNhO9+NVTuj+kBS9mStBXhO2L6EhdkMyJQEiMG9BmVpQE7c25/9CWBVGjG6 ysN20ASAv9Ura0shhKd/Tfc8iTw5qEuz0YmTD0NZlpir10xYsQ9leW3Z0DWDBBxPfcZ8 6LQDtMfvt8464N8wOyfKTU06B4BArZCm31EpCwoismjtjFhpOyB/4M/7u3eGd2+768wJ sINdAGwCOxxKQIF8JiMQiqgEceJ6Lr52GQiKZDDzwJTjo+5TxJnSRUCh43I9ceOcl7qO P+g4i/D2Qyrvo7S2H/+wnzyCWGD0/3GQxMmG3Njnpl1Oy2vEZqa9xGk8mSOX06sd59SR NzFw== X-Gm-Message-State: ANoB5pnn/X3C6H7YTty+Q3F6ZROd7r8PKq9rB8TGMq5sGpziMGev/ViD 3i1r81wwkKq3BVGrhfDJTgyLXc1Gg7RRU2jiohgIUybvVSs= X-Google-Smtp-Source: AA0mqf7sWviSW7MXg9xy40YAzL0R36Xo0eY0MM89KgqBvwMJIr5bDAXksYhL6KOM6wFnRoA/4NYyo6fYQ7gAsUgpujc= X-Received: by 2002:ae9:ef8f:0:b0:6eb:12c2:15ad with SMTP id d137-20020ae9ef8f000000b006eb12c215admr11102570qkg.654.1668430165637; Mon, 14 Nov 2022 04:49:25 -0800 (PST) X-Loop: caml-list@inria.fr X-Sequence: 18887 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: X-Gmane-Expiry: 2022-11-28 Xref: news.gmane.io gmane.comp.lang.caml.inria:69880 gmane.science.mathematics.categories:10856 gmane.science.mathematics.logic.isabelle.user:17996 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