iGEM is a global synthetic biology competition that involves more than 400 teams worldwide.

The University of Warwick iGEM team 2024 – team BEACON – took part in the iGEM competition, which culminated with the iGEM Jamboree in Paris, at the end of October. We would like to congratulate Aaron Lee (CSE) for their fantastic work on the project within the team including 9 other UG students from various departments, including Life Sciences, Chemistry, Engineering and Mathematics. For their interdisciplinary project, they addressed the need for developing better ways to recycle lanthanides, such as the ones found in electronic devices. They engineered bacteria to scavenge for lanthanide ions and swim towards a point for collection through an engineered chemotactic system. Team BEACON were awarded a Gold medal (grade) at the Jamboree, in recognition of their success during the project.

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

• Rohan Acharya, Marcin Jurdzinski, Aditya Prakash: Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata,
• Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak: Integer Linear-Exponential Programming in NP by Quantifier Elimination,
• Artur Czumaj, Guichen Gao, Shaofeng H.-C. Jiang, Robert Krauthgamer, Pavel Veselý: Fully-Scalable MPC Algorithms for Clustering in High Dimension,
• Argyrios Deligkas, Eduard Eiben, Robert Ganian, Iyad Kanj, M. S. Ramanujan: Parameterized Algorithms for Coordinated Motion Planning: Minimizing Energy,
• Julian Dörfler, Christian Ikenmeyer: Functional Closure Properties of Finite ℕ-Weighted Automata,
• Zhenjian Lu, Rahul Santhanam: Impagliazzo's Worlds Through the Lens of Conditional Kolmogorov Complexity.

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

Dmitry's paper "Integer Linear-Exponential Programming in NP by Quantifier Elimination" 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 Gaussian elimination, Dmitry and his co-authors Alessio Mansutti and Mikhail Starchak show that the problem belongs to the complexity class NP. 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 Warwick paper: Henry Sinclair-Banks, a DIMAP PhD student, was an awardee in 2023.

We are happy to announce that Dr Florin Ciucu (CS), Dr Long Tran-Thanh (CS) and Dr Paul Jenkins (Statistics and CS) have been promoted to Professor, effective 1st August 2024.

Many congratulations to our colleagues for all their achievements!