Event Title: Sound Interval-Based Synthesis of Probabilistic Programs Speaker: Guilherme Espada Dates: Thursday, 20th November 2025 Time: 11am (GMT) Location: Edinburgh Bayes Coffee House (4th floor Bayes Center, EH8 9BT) Join Online:  https://app.huawei.com/wmeeting/join/96296184/ihsFKR3egE2YzZOkWHrI7TIfWGtAe2bCN Meeting ID：96296184 Passcode：100424   Abstract: Probabilistic programming has become a standard practice to model the stochasticity inherent in modeling the real world, […]

Date Thursday 16th June @ 11:30 – 12:30 (UK time) Presenter Marios Kogias Affiliation Imperial Location [Physical] TBA [Online] Meeting link: https://welink.zhumu.com/j/218737227 Abstract Online services play a major role in our everyday life for communication, entertainment, socializing, e-commerce, etc. These services run inside datacenters under strict tail-latency service level objectives. The emergence of new hardware […]

Dr. Dominic Orchard (University of Kent) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. When: Tuesday 31 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0178099193/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody […]

Bcc to all staff of UKRD ——————– When: Tuesday 17 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0145848734/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody is welcome! You can access it from your own browser or Zoom app, without installing anything. Speaker: Paul B. Levy (University of Birmingham)

When: Tuesday 24 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link: http://imeeting.huawei.com/meeting/join?id=0148144957&app=welink&sectype=0 Speakers: Nobuko Yoshida and Martin Vassor (Imperial College London)

Date Tuesday 17 May @ 09:30 – 10:30 (UK time) Presenter Christina Giannoula Affiliation National Technical University of Athens (NTUA) Location [Online] Meeting link: https://welink.zhumu.com/j/149868852   Abstract Several manufacturers have already started to commercialize near-bank Processing-In-Memory (PIM) architectures, after decades of research efforts. Near-bank PIM architectures place simple cores close to DRAM banks. Recent research […]

Date: Tuesday 22 March  @ 09:30 – 10:30 (UK time) Presenter: Manuel Rigger manuel.rigger@inf.ethz.ch Affiliation: ETH Zurich Brief Bio: Manuel Rigger will join the National University of Singapore in summer 2022 as an Assistant Professor. Currently, he is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Zhendong Su. […]

Time: Thursday, 29 April 2021, 9:30 Edinburgh time (UTC+1) Abstract: We’ll tour my Nominal techniques Haskell package, which provides easy access to types and type classes with nominal-style binding. Why do you need this?  Because it lets you program and reason on name-like data (e.g. variable symbols, pointers, links), and binding (e.g. name-binding, hiding, locality) at […]

Jesse Sigal, University of Edinburgh. Automatic differentiation (AD) is an important family of algorithms which enables derivative based optimization. We show that AD can be simply implemented with effects and handlers by doing so in the Frank language. By considering how our implementation behaves in Frank’s operational semantics, we show how our code performs the […]

 A graphical language for closed monoidal categories, by Dan Ghica. Diagrams, schematics, blueprints and so on play an important role in engineering, architecture, construction, and other activities where projects need to be formally specified. In mathematics the role of diagrams has been, at least until recently, mostly that of illustrating concepts, rather than specifying formally […]