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

Join us for an insightful presentation by Professor Viktor Leis, Chair for Decentralized Information Systems and Data Management at TUM. In this talk, he will discuss his research on custom, DBMS-optimized OS kernels enabled by the cloud and the database-as-a-service model. Professor Leis will explore the unique architecture of unikernels, their benefits, and the potential […]

Join us for a captivating presentation by Professor Volker Markl, Chair of Database Systems and Information Management (DIMA) at TU Berlin, and Director of the Intelligent Analytics for Massive Data Research Department at DFKI. In this talk, Professor Markl will discuss his research on improving data analysis efficiency, including query optimization, the evolution of Apache […]

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