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

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

Professor Jon Crowcroft of the University of Cambridge will present for the Bayes Coffee House Future Informatics Talks both in-person and virtually. Below are the talk’s details. Title: Trustworthiness in Systems and Platforms Speaker: Professor Jon Crowcroft When: 09/18(Wed) 12:00-13:00 (UTC+01:00)London Where: Informatics Forum G07 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/   External: https://app.huawei.com/wmeeting/join/98108233/pzyLUiNRrMlnRD1XleLWFUIKKSTihZnl0 Meeting ID: 98108233 Passcode: 693876 Abstract: […]

Speaker: Prof. Michel Steuwer                     TU Berlin When: 08/06(Tues) 11:00-12:00 (UTC+01:00)London Where: 4F Bayes Coffee House, Bayes Center External: https://app.huawei.com/wmeeting/join/94878201/hXmKxmhXq1k6Auwg1Nf8yVCSkzE9DmjeE Meeting ID: 94878201 Passcode: 607542 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/   Abstract: Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented paradigm where many thousand computational […]

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