About speaker: Martin Berger is a formal verification expert in the ISA research team. Before joining Huawei, he was a senior lecturer at the University of Sussex. He did his PhD at Imperial College London, and his undergraduate at Technical University Berlin. His academic work has been on formal methods in programming languages, in particular typing […]

About the Speaker Professor Buneman is a research leader in extending databases to new data models, type systems, and languages. He chairs the Steering Committee for the University of Edinburgh – Huawei Distributed Data Management and Processing Research Laboratory. Abstract If we think of a database as an artifact for publishing data — and certainly […]

Speaker: Prof. Vincent Danos, Ecole Normale Paris Title: “Decentralised Finance the Old and the New” Date/Time: 2021/06/17 9:30 Recording: https://youtu.be/ysc5KSeDQOQ Abstract What is so special about decentralised finance? What kind of assets are traded and what is their fundamental value? What kind of basic financial primitives are available, and can they be combined? We will […]

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

Date/Time: 2021/04/08 This talk will overview how to improve your C++ programs using functional techniques, based on Ivan Cukic book ISBN-10(1617293814). C was born as C with Classes, but the addition of Templates and STL, made C++ a multi-paradigm language. The book goes over Functional Programming features included in the latest C++ implementations C++11,C++14 and […]

Efficient gradient descent-style local optimisation algorithms have been studied extensively and applied abundantly throughout the field of deep learning. On the other hand, convergent global optimisation algorithms that never yield an incorrect result — such as branch-and-bound methods — are much less practically available. Optimisation is a core component of supervised machine learning, having broad […]

  The first Huawei Lab Workshop of 2021 will be held  from the 14th to 16th of June (mornings in Edinburgh, late afternoon China)   The Huawei lab June workshop is the forum for researchers to share findings from their Huawei-sponsored research project through discussion, posters and reports. Attendees will have the opportunity to hear […]

Abstract String diagrams are becoming the established mathematical language of diagrammatic reasoning, with the mantra of ‘only connectivity matters’: equal terms are represented as isomorphic (or isotopic) diagrams. Unfortunately, when adding more structure to categories in the form of additional axioms, this mantra is lost: we must now consider diagrams up to rewriting. To perform […]

Time: 2021-02-11 09:30-10:30 ((UTC00:00) Edinburgh Video of the talk: https://youtu.be/sMWOQNfYIUw Speaker: James Wood, Strathclyde U Abstract: The metatheory of simple type systems presented using de Bruijn indices is well understood. We know to follow the principle that variable binding is the only interaction between the context and typing rules other than the variable rule. From […]

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