While Large Language Models (LLMs) excel at knowledge reasoning tasks, they face significant challenges in formal mathematical theorem proving due to data scarcity and strict logical precision requirements. This talk introduces the DeepSeek-Prover series, highlighting how automated dataset construction and reasoning annotations have effectively transferred knowledge from data-rich to data-scarce domains, achieving state-of-the-art results in […]

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

Join us for an exciting talk on GPU-accelerated databases with Bowen Wu from ETH Zurich (Systems Group). He will present Eiger, a cutting-edge query engine built for high-performance analytics. Discover how this work is advancing database efficiency and unlocking new optimizations for modern computing. Don’t miss this opportunity! Title: Eiger: An efficient GPU-based query engine […]

Boris Grot, a Professor in the School of Informatics at the University of Edinburgh, will give a talk on the efficiency of cloud computing. He will explore how virtual machines (VMs) can achieve both cost efficiency and elasticity with serverless instances, addressing the challenges of load fluctuations and sudden spikes in online services. Title: Harmonizing […]

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

Xing Zhang from the Peking University will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Xing Zhang from Peking University External: https://app.huawei.com/wmeeting/join/97510312/WeYVCCjq5bnYtIA4O8HF9XZ2mSj8Cz6rl Time: 07/23(Tues) 11:00-12:00 (UTC+01:00)London Location: 4F Bayes Coffee House, Bayes Center Meeting ID: 97510312 Passcode: 431967 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ Abstract: Bidirectional live programming (BLP) systems allow developers to modify programs by directly […]

Neel Krishnaswami from the University of Cambridge will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: The Denotational Semantics of Static Single Assignment (SSA) Form Speaker: Neel Krishnaswami Professor of Logic, Semantics and Computation in the department of computer science at the […]

Hugo Paquet from the LIPN, Université Sorbonne Paris Nord will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: 2-Dimensional Monads and Concurrency Speaker: Hugo Paquet When: 11am Tue 12 March Where: 4th floor Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External：https://meeting.huaweicloud.com/welink/j/96318912/Vktqh29Pvz5oiwVtY1vzND4UM3gyFzi7o Meeting ID：96318912 Passcode：542647 Abstract: This […]