In the Logic, Semantics, Automata and Theory of Programming track of the 45th International Colloquium on Automata, Languages, and Programming (ICALP), three out of 30 accepted papers are by members of the department. ICALP is one of the most selective and longest established international conferences in computer science, and the flagship annual event of the European Association for Theoretical Computer Science. The papers are:

• Reducing CMSO Model Checking to Highly Connected Graphs by Ramanujan M. S., Daniel Lokshtanov, Saket Saurabh and Meirav Zehavi
• O-Minimal Invariants for Linear Loops by Shaull Almagor, Dmitry Chistikov, Joel Ouaknine and James Worrell
• When is Containment Decidable for Probabilistic Automata? by Laure Daviaud, Ranko Lazić, Marcin Jurdziński, Filip Mazowiecki, Guillermo Perez and James Worrell

On June 1st 2015, our Division of Theory and Foundations, jointly with DIMAP, organized DIMAP Logic Day 2015. The goal of the event was to bring together the UK community of researchers and graduate students interested in the study of logics, automata and games.

The event had an outstanding list of invited speakers from leading academic institutions and research labs (Nathalie Bertrand, INRIA Rennes; Antonin Kucera, Brno; Slawomir Lasota, Warsaw; Davide Sangiorgi, Bologna, INRIA Sophia Antipolis; Sylvain Schmitz, Cachan, INRIA Saclay, Warwick; James Worrell, Oxford) presenting recent advances in logic in computer science, and attracted over 40 participants from the UK and abroad.

Lei Shi, a doctoral student in the Department of Computer Science at Warwick, has received a top award for his work at UMAP, the premier international conference for researchers and practitioners working on systems that adapt to individual users.

UMAP 2014 was held in Aalborg, Denmark on the 7-11 July 2014. The conference spans a wide scope of topics related to user modeling, adaptation and personalization, and was sponsored by Microsoft Reasearch and the NSF.

Lei will begin a Warwick Institute of Advanced Study (IAS) Early Career Fellowship in October. More information on his work can be found at http://www.shilei.io