Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

Hi,

This week's LFCS seminar will start shortly:

  Tuesday, 16 Jun, 4.10pm

  Shing Hin Ho, Imperial College London

  This seminar is hybrid.

  

  Venue: IF G.03

  

  To attend remotely:

  URL: https://teams.microsoft.com/meet/316852803261548?p=YSs63FH7AcUCYHZ1EA

  (I've changed slightly the way I set Teams up, so if you want to avoid any issues on the day, please attend in-person.)

We're synchronising the seminar time with the teaching timetable, and

plan to start the talk at the advertised time, so please arrive a minute or two

earlier.

Shing Hin is visiting us Tues-Wed, if you'd like to chat to him, please contact him directly and cc-me.

Please contact me if you'd like to join us for dinner on Tuesday.

In detail:

----------------------------------------------------------------------

Shing Hin Ho, Imperial College London

https://shinghinho.com

  Tue, 16 Jun, 4.10pm

  Venue: IF G.03

  Remote participation:

  URL: https://teams.microsoft.com/meet/316852803261548?p=YSs63FH7AcUCYHZ1EA

Title:  A model of separation logic for Bayesian probability

Abstract

Recent work has explored the use of program logics to reason about

probabilistic hyperproperties. In particular, measure-theoretic

models of separation logic enable rigorous reasoning about

randomised programs and are expressive enough for

expectation/independence reasoning. In this talk, I will introduce

the syntax and semantics of these logics and present a new model of

probabilistic separation logic for Bayesian reasoning and

probabilistic programming.

----------------------------------------------------------------------

If you would like to propose a speaker, or speak yourself, please contact me.

The seminar webpages:

http://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars

Yours,

Ohad.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.