Category: tech talk
Nick Wu 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. Title: Modular Models of Monoids with Operations When : 28 Mar 2023, 11am-12nn Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 […]
Prof Prakash Panangaden 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. When : 22 Feb 2023, 11am-12nn & 1330pm-1430pm Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, UK Where (Virtually) : https://welink.zhumu.com/j/0205600289 […]
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 […]
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 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 […]
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 […]
Rewriting for monoidal closed categories David Sprunger, Dan Ghica, Fabio Zanasi and Mario Alvarez-Picallo. This paper develops a formal string diagram language for monoidal closed categories. Previous workhas shown that string diagrams for freely generated symmetric monoidal categories can be viewedas hypergraphs with interfaces, and the axioms of these categories can be realized by rewritingsystems. This work proposes […]
Date Thursday 14th July @ 14:00 – 15:00 (UK time) Presenter Subarna Chatterjee Affiliation Harvard University Location [Online] Meeting link: https://welink.zhumu.com/j/159295680 Abstract We present a self-designing key-value storage engine, Cosine, which can take the shape of the close to “perfect” engine architecture given an input workload, a cloud budget, a target performance, and required cloud […]
Recent comments