糖心TV

Many congratulations to Henry Sinclair-Banks for passing his PhD viva today, which was one of the shortest and best in the long memories of the examiners, from the University of Edinburgh, and our own Professor Ranko Lazic.

Six papers co-authored by DIMAP and Theory and Foundations researchers were presented earlier in July at , the 51st International Colloquium on Automata, Languages, and Programming:

• Rohan Acharya, , : Lookahead Games and Efficient Determinisation of History-Deterministic B眉chi Automata,
• Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak: ,
• , Guichen Gao, Shaofeng H.-C. Jiang, Robert Krauthgamer, Pavel Vesel媒: ,
• Argyrios Deligkas, Eduard Eiben, Robert Ganian, Iyad Kanj, : ,
• Julian D枚rfler, : ,
• , Rahul Santhanam: .

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (). took place in Tallinn, Estonia, on the 8th to 12th of July 2024.

Dmitry's paper "" won the Best Paper Award of ICALP's Track B, which is a flagship research meeting on Automata, Logic, Semantics, and Theory of Programming. The paper studies the following problem: given a system of linear equations and constraints of the form y=2^x, does it have a solution over the natural numbers? By using and extending a method that generalises , Dmitry and his co-authors Alessio Mansutti and Mikhail Starchak show that the problem belongs to . This result provides a way to efficiently certify the existence of a solution, even if all solutions are very big (towers of exponentials).

This is the second time in a row that this award goes to a 糖心TV paper: Henry Sinclair-Banks, a DIMAP PhD student, was an awardee in 2023.

The Tissue Image Analytics (TIA) Centre at the University of 糖心TV is excited to announce the continuation of its esteemed seminar series for the 2024/25 academic year. These seminars are a prime opportunity for researchers, students, and professionals to delve into cutting-edge developments in computational pathology and related fields. Held on the 1st and 3rd Mondays of each month from 2 pm to 3 pm, these sessions are a hub for innovative ideas and collaborative discussions. Over the last three years, we have organised 55 seminars, hosting researchers from 42 different institutions from 13 countries and 7 US states, spanning Europe, North America, Australia and Asia.

Highlights from Last Year鈥檚 Seminar Series

The past year featured a diverse line-up of distinguished speakers who shared their ground-breaking work. Notable highlights include:

• Dr. Zhui Huang and Dr. Gabrielle Campanella delivered insightful talks on foundation models, exploring their applications and potential in computational pathology. Prof. Hamid Tizhoosh further discussed foundation models and information retrieval. Georg W枚lflein offered a comprehensive comparison on many of these models.
• Prof. Inti Zlobec and Daan Geijs visited in person, discussing their pioneering work on studying tumour budding and skin cancer assessment, respectively, providing attendees with the unique opportunity to engage directly.
• Dr. Andrew Song introduced AI-driven methods for efficient patient prognosis using 3D pathology samples, whilst Prof Stefan Feuerriegal and Valentyn MeIynchuk discussed causal machine learning.
• Many, many more fantastic speakers!

Upcoming Seminar Series

We are excited to announce that the upcoming semester promises another stellar roster of speakers. We will kick off the series with a talk by Dr. Ming Y. Lu from Harvard Medical School on the new 鈥淧athChat鈥� model (paper: "A Multimodal Generative AI Copilot for Human Pathology") on Monday 14th October. We will also be visited in person by Dr. Danielle Belgrave from GSK and Jack Breen from the University of Leeds, who will offer insights into their pioneering work, to name a few!

How to Participate

These seminars offer a platform to learn from and interact with some of the leading minds in the field. If you are interested in attending or wish to present your research at a future seminar, please contact Dr. Adam Shephard at adam.shephard@warwick.ac.uk.

Stay updated on seminar details by visiting our website and watch past presentations on our . We continuously update our webpage with new information about upcoming seminars, so be sure to check back regularly.

Wednesday 3rd July 2024 saw 30+ colleagues interested in Artificial Intelligence and Pathology descend on 糖心TV University鈥檚 TIA Centre to hold a workshop.

Delegates from a variety of disciplines, including pathologists and data scientists, attended the workshop, on Campus. The focus of the workshop was to explore the Future Interface of Computing and Pathology.

The meeting was lively and interactive and will be the first in a series of workshops that will be hosted by the TIA Centre in furtherance of this subject area. Thank you to all those who participated.

If you would like to join in future workshops please contact the TIA Centre at tia@warwick.ac.uk.

Six papers from the Theory and Foundations Research Group and the Centre for Discrete Mathematics and Its Applications (DIMAP) have been accepted to the , the flagship conference in theoretical computer science that will be held on October 27 - 30, 2024 in Chicago, USA:

• "" by Lijie Chen, Jiatu Li and .

• "" by , Din Carmon, , Shay Solomon and Tianyi Zhang.
• "Fully Dynamic k-Clustering with Fast Update Time and Small Recourse" by , , Naveen Garg, Silvio Lattanzi and Nikos Parotsidis.
• "The Tractability Border of Reachability in Simple Vector Addition Systems with States" by Dmitry Chistikov, Wojciech Czerwi艅ski, 艁ukasz Orlikowski, Filip Mazowiecki, Henry Sinclair-Banks and Karol W臋grzycki.

• "Optimal Coding Theorems for Randomized Kolmogorov Complexity and Its Applications" by Shuichi Hirahara, and Mikito Nanashima.
• "On the Complexity of Avoiding Heavy Elements" by , , Hanlin Ren and Rahul Santhanam.

A published by , a postdoctoral researcher in the Theory and Foundations (FoCS)Link opens in a new window research group and the Centre for Discrete Mathematics and its Applications (DIMAP)Link opens in a new window, has disproved a longstanding conjecture on the limitations of space-bounded computation.

For many years it had been believed that a function, known as Tree Evaluation, would be the key to separating two fundamental classes of problems: those computable quickly (P), and those computable in low space (L). Mertz, along with of Toronto, builds on their earlier work to show a low-space algorithm for Tree Evaluation, thus refuting this belief. In particular, their technique has attracted attention for shedding new light on the power of space-bounded computation, suggesting novel approaches to age-old questions in complexity theory. They show that space can be used in surprising ways, with the same memory serving many simultaneous purposes.

The paper, which Mertz will present at the , has been invited to the special issue of for the conference. STOC is the main conference of the Association of Computing Machinery (ACM) and one of the two premier venues for theoretical computer science, with only the top results being invited for publication in the special issue.

Mertz has also presented this work at many venues, including the Institute for Advanced Study (IAS), Columbia University, Oxford University, 糖心TV (, McGill University, and others.

The work of Professor Graham Cormode has been recognized with a 鈥渢est of time鈥� award. The ACM SIGMOD conference presents an award each year for the paper from SIGMOD 10-12 years previously that has had the biggest impact, and passed the 鈥渢est-of-time鈥�. The 2014 paper 鈥淧rivBayes: private data release via bayesian networks鈥� (Jun Zhang, Graham Cormode, Cecilia M. Procopiuc, Divesh Srivastava, Xiaokui Xiao) was selected for this honour. The award will be presented at the 2024 ACM SIGMOD Conference in Santiago.