Join us at the Huawei Cangjie Talk for an exclusive unveiling of CJ (仓颉 // Cangjie), our cutting-edge general-purpose programming language You will have the opportunity to explore state-of-the-art features, delve into effect handlers and distributed actors, and shape the future of programming! Don’t miss out! Title: The Cangjie Programming Language Speaker: Mario Alvarez Picallo […]

Paolo Papotti from EURECOM France will give a talk online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: SQL and Large Language Models: A Marriage Made in Heaven? Speaker: Paolo Papotti Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ Time: 06/26(Wed) 14:00-15:00 (UTC+01:00)London Internal: https://imeeting.huawei.com/meeting/joinwelink?id=99107536&pwd=MjQzNTQ2&token=3oEMH02wIHjJ4IrxhycJe8TDJgQ0C0JJ8&stype=0 External: https://app.huawei.com/wmeeting/join/99107536/3oEMH02wIHjJ4IrxhycJe8TDJgQ0C0JJ8 Meeting ID: 99107536 Passcode: 243546 Abstract: With the rise of pre-trained Large Language Models […]

Yoshua Wuyts from Microsoft will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Introducing Effect Types to the Rust Programming Language Speaker: Yoshua Wuyts                     Microsoft When: 11am Tue 30 April Where: Meeting […]

Melissa Terras from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Creative Informatics: Catalysing Edinburgh’s Creative Community to Innovate with Data Speaker: Melissa Terras                      University of Edinburgh […]

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

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

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

Date Thursday 9 June @ 09:30 – 10:30 (UK time) Presenter Maciej Besta Affiliation ETH Zurich Location [Online] Meeting link: https://welink.zhumu.com/j/158022218   Abstract Graph neural networks (GNNs) are among the most powerful tools in deep learning. They routinely solve complex problems on unstructured networks, such as node classification, graph classification, or link prediction, with high […]

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

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.