Link: https://meeting.zhumu.me/wc/join/0179880767?tk=&prefer=0&track_id=&meeting_result=&jmf_code=&wpk=   

Xavier Denis (University of Paris-Saclay, France) will give an talk, in person and online, for the Huawei – Edinburgh Coffee House Tech Talk Series. The details of the talk are below. *When*: Tuesday 26 April 2022 at 11am *Where* (in person): Huawei Edinburgh Research Centre (2 Semple Street, 5th floor, Meeting Room 1, Edinburgh EH3 […]

Taming Large Intermediate Results for Joins over Graph-Structured Relations Date: 26th April 2022 Time: 14:00 – 15:30 Location: Virtual   Abstract: Querying graph-structured relations, i.e., those with many-to-many (m-n) relationships between entities, is ubiquitous and integral to a wide range of analytical applications such as recommendations on social networks and fraud detection in financial transactional […]

Time：2022-03-29 11:00 — 12:00 Location：Edinburgh Coffee House Speaker：Dr. Ian Mackie (University of Sussex) Overview ▶ Very simple GOI for System T. ▶ Reversible machinery for higher-order language. ▶ Depending on how we constrain the use of the recursor, this language is rich enough to capture all primitive recursive functions or more generally Gödel’s System T. […]

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