This year’s Warwick Postgraduate Colloquium in Computer Science (WPCCS) was held on Monday 14th December and marked the 18th edition of this beloved event. For the first time in its history, WPCCS took place online, on the communication platform MSTeams, to allow everyone to participate safely during the ongoing COVID-19 pandemic.

A cherished occasion to present one’s research, receive valuable feedback, and create connections within the department to develop new ideas, the Colloquium saw the participation of 50 PhD students who gave presentations spread across seven major themes, showcasing the quality and diversity of the research carried out in the Computer Science Department at Warwick. 22 PhD students also submitted longer, more detailed presentations which were made available to participants and attendees on the official WPCCS MSTeam, so to receive constructive in-depth comments.

Work performed by Computer Systems Engineering student Michael Shanta for his 3rd year project, supervised by Dr. Marina Cole and Dr. Siavash Esfahani in the School of Engineering, was written up in a paper that was recently accepted for presentation at the IEEE Sensors 2020 Conference.

For his 3rd year project Michael worked on developing machine learning techniques for an Electronic Nose in order to classify odours based on the sensor responses. The system aims to detect incontinence incidents, allowing alerts to be sent to relevant personnel from an IoT network via a cloud server.

We are pleased to report that members of the department's Theory and Foundations research theme have had 6 papers accepted to the 47th International Colloquium on Automata, Languages and Programming, the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science. The papers are:

• On the central levels problem by Petr Gregor, Ondřej Mička and Torsten Mütze
• Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming by Timothy Chan, Jacob Cooper, Martin Koutecký, Dan Král and Kristýna Pekárková
• The Complexity of Verifying Loop-free Programs as Differentially Private by Marco Gaboardi, Kobbi Nissim and David Purser
• Rational subsets of Baumslag-Solitar groups by Michaël Cadilhac, Dmitry Chistikov and Georg Zetzsche
• The Strahler number of a parity game by Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini
• On the power of ordering in linear arithmetic theories by Dmitry Chistikov and Christoph Haase