Join us for a fascinating talk by Dr. Sergey Goncharov, Assistant Professor at the University of Birmingham, on bridging the gap between small-step and big-step operational semantics through abstract machinery. Discover how higher-order mathematical operational semantics unifies these foundational frameworks, and the ensuing Haskell implementation. Title: From Small-Step to Big-Step, Abstractly Speaker: Sergey Goncharov | […]

Join us for a talk by Professor Wolfgang Lehner, a leader in database technology and systems architecture at TU Dresden. As the head of the Database Technology Group, Prof. Lehner will present insights from his team’s work on improving query optimizers. He will discuss TONIC, a new approach to cardinality estimation-free query optimization, and FASTgres, […]

Get ready for a truly revolutionary talk on bridging the software-hardware gap! Professor Michael O’Boyle of the University of Edinburgh will be sharing his insights on the exciting new compiler tools and approaches at the Bayes Coffee House Future Informatics Talks seminars. Title: New compiler tools for a heterogeneous world: Bridging the software hardware gap […]

Dr. Jan Mühlig at TU Dortmund, Germany, will give a talk in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Re-thinking the Processing Model to Support Data Processing on Modern Hardware Speaker: Dr. Jan Muehlig from the TU Dortmund University When: 09/27(Fri) 11:15-12:15 (UTC+01:00)London Where: Meeting […]

Magnus Morton will be giving a talk on Effect Handlers in the Cangjie Programming Language! 🌟 Effect handlers help manage control flow in programming, and we’re making them accessible with Cangjie. Magnus will explain what they are and how they can be used in real-world applications. Title: Effect Handlers in Cangjie Speaker: Magnus Morton     […]

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

Zhiwei Hu and Xiaoqi Han, from Shanxi University will give a talk online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Knowledge Representation Learning and Editing Speaker: Zhiwei Hu and Xiaoqi Han Time: 06/27(Thur) 12:00-13:00 (UTC+01:00)London Location: 4th floor Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External: https://app.huawei.com/wmeeting/join/96307512/mC4On8yRPIEEyULYircEDacM7osV3CodS Meeting ID: 96307512 Passcode: 407435 […]

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

Antonis Katsarakis from the Huawei will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Dandelion Hashtable: Beyond Billion In-Memory Requests per Second on a Commodity Server Speaker: Antonis Katsarakis Time: 05/30(Thur) 11:00-11:45 (UTC+01:00)London Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External：https://app.huawei.com/wmeeting/join/98450750/SyRMNo635U0rBxm12PmKqUCGjcnReYAir Meeting ID：98450750 Passcode：314959 Abstract: This paper presents […]

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