Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

The recording of “Prof Prakash Panangaden’s talk on Probabilistic Bisimulation and associated metrics” is now available using the link below:   https://ed-ac-uk.zoom.us/rec/share/mwX23U03YMrWZrTgEKl-jMbyAAdUnUULxBa32XnyFcDI9XkHPY54FSELDsnm9xI7.-Hb0fb6YP-bWqgTH   Professor Panangaden is conducting joint research in Edinburgh supported by the Huawei – University of Edinburgh Strategic Talent Programme.  

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. […]

Making Concurrency Functional by Glynn Winskel   http://arxiv.org/abs/2202.13910   The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its environment while underway.  Central to  any compositional theory of interaction is the dichotomy between a system and its environment.  Concurrent […]

James Wood and Robert Atkey. A Framework for Substructural Type Systems. ESOP 2022, to appear. 2022. [BIB] [PDF] Abstract Mechanisation of programming language research is of growing interest, and the act of mechanising type systems and their metatheory is generally becoming easier as new techniques are invented. However, state-of-the-art techniques mostly rely on structurality of the type system — […]

ath.CT String diagrams for non-strict monoidal categories Authors: Paul Wilson, Dan R. Ghica, Fabio Zanasi Abstract: Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string […]

Effect handlers allow for programming with user-defined computational effects, with applications including custom lightweight concurrency (threads, async-await, actors, generators), error handling, dependency injection, etc. Effect handlers originate from the realm of functional programming, and the main goal of this highly experimental library is to explore how they fit in the more object-oriented setting of C++. The library relies […]

Professor Prakash Panangaden will review the concept of probabilistic bisimulation and its extension to systems with continuous state spaces.  Surprisingly, it turned out that one can prove a striking logical characterization theorem: a theorem that pins down exactly what differences one can ‘’see’’ in process behaviours when two systems are not bisimilar.  I will outline […]

Abstract:Lua is a scripting language widely uses in several fields, with strong niches in games and embedded systems. Pallene is a new language designed to be a companion language for Lua, that is, a system language specifically designed to interoperate with Lua in a scripting architecture.In this talk, Roberto will present the main features of […]

Back to the workshop page Adam Baker: Systems Research in Huawei Abstract This talk will give an overview of the newly established Systems Infrastructure Research (SIR) lab, part of the Edinburgh Research Centre. I will present our core research areas and describe current and future projects in distributed systems and operating systems. Bio Adam Barker […]

The Programming Language Laboratory of the Huawei Edinburgh Research Centre are delighted to start a new research project with Prof. Phil Wadler from the University of Edinburgh on the topic of type systems for effect handlers.  The project will focus on simplifications static scoping of algebraic effect handlers and on developing gradual types for the […]

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel