Prof Bjoern Franke (University of Edinburgh) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. When : 21 Feb 2023, 11am-12nn Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, […]

For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a day workshop, in person and online, about diagrammatic methods to formalise and reason about programming languages and their implementation.When : 24 Jan 2023, 0900-1730Where (Physically) : Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, United KingdomWhere (Virtually) : https://welink.zhumu.com/j/800989138Registration: https://www.smartsurvey.co.uk/s/D8MKWE/Morning Session @Room […]

Huawei Edinburgh Lab January 2023 Workshop Schedule  (11th – 13th, Jan, 8:30am – 1pm. Details to be filled soon)   Wednesday 11 January – Informatics G.03 UK Time China time Topic/title Speakers/Panelists 08:00-08:30 16:00-16:30 Coffee 08:30-09:00 16:30-17:00 Introduction and Brief Survey Peter Buneman (UoE) 09:00-09:45 17:00-17:45 Database Research at Huawei Nikos Ntarmos (Huawei) 09:45-10:15 17:45-18:15 […]

Date Thursday 20th October @ 14:00 – 15:00 (UK time) Presenter Prof. Syed Waqar Nabi Affiliation University of Glasgow Location Online link: https://welink.zhumu.com/j/189695019 Note: this is a talk open to the public. Abstract I will talk primarily about the work I did during my postdoc in the EPSRC funded “TyTra” project, which had the aim […]

Date Thursday 27th October @ 14:00 – 15:00 (UK time) Presenter Prof. Haris Volos Affiliation University of Cyprus Location Bayes center G.03 Online link: TBD Note: this is a talk open to the public. Abstract Persistent memory has emerged as a key persistence programming model for non-volatile memory technologies, such as Intel Optane Persistent Memory. […]

Date Thursday 22nd September @ 09:30 – 11:00 (UK time) Presenter Prof. Panagiota Fatourou Affiliation FORTH and University of Crete Location [Online] Meeting link: https://welink.zhumu.com/j/100950586 Note: this is a talk open to the public. Abstract This talk will present generic approaches for deriving recoverable synchronization algorithms, as well as recoverable implementations of many widely-used concurrent […]

by Beniamino Accattoli (INRIA) and Giulio Guerrieri (Huawei Edinburgh, PL team) The denotational semantics of the untyped lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent notion of meaningless term. The semantics of the untyped call-by-value […]

Huawei Edinburgh Lab September 2022 Workshop Schedule Because of the Queen’s funeral on 19 September we are compressing the workshop into two days (20th and 21st September).  We may still need to make adjustments to the schedule below. Tuesday 20 September – Bayes Centre G.03 UK Time China time Topic/title Speakers 08:15-08:30 15:15-15:30 Coffee 08:30-08:50 […]

For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a mini-workshop, in person and online, about foundations of programming languages. There are no registration fees. The details of the program and talks are below. A lunch will be provided between the talks. When: Tuesday 26 July 2022, from 11:00 to 14:15. (UK time). Where (in person): […]

WebAssembly (Wasm) is a virtual instruction set architecture designed for portability, performance, safety, and formal rigour. After its initial release, it has seen wide adoption across diverse ecosystems, such as the Web, edge computing, distributed computing, mobile, embedded systems, and others. Recently, release 2.0 of Wasm was published, which represents a step forward towards a […]