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

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

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

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