Neha Rino, a PhD student in the Theory and Foundations group in the Department of Computer Science and a member of the Cyber Security group at WMG, has won an Oded Maler award at FORMATS 2024.

The Oded Maler award is a distinction presented for the best paper of the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). This year's edition of the conference was held in September in Calgary, Canada, jointly with QEST (International Conference on Quantitative Evaluation of SysTems) as a common research forum dedicated to quantitative modelling, analysis, and verification.

Neha's paper, "Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL", is co-authored with Mohammed Foughali and Eugene Asarin, both from Université Paris Cité and IRIF in Paris, France, where Neha completed the Master's degree (ENS Paris-Saclay) prior to joining Warwick.

Neha's paper contributes to the research framework of quantitative monitoring, which is the analysis of individual executions of systems which yields numerical output (real numbers), rather than binary yes/no. The paper formulates and solves, by an efficient algorithm, a new problem of this kind: computing a real number that characterises to which extent the given execution of a real-time system satisfies its specification expressed in Signal Temporal Logic (STL).

PhD positions are available at the Theory and Foundations (FoCS) group in the Department of Computer Science, University of Warwick, UK. The group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP), established in 2007 jointly with the Warwick Mathematics Institute and Warwick Business School. Together with DIMAP, the group is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science.

Eight papers authored by Computer Science researchers from Warwick have been accepted for publication at the 38th Conference on Neural Information Processing Systems, the leading international venue for machine learning research, which will be held on 10-15 December 2024 in Vancouver, British Columbia, Canada:

• Generating Origin-Destination Matrices in Neural Spatial Interaction Models, by Ioannis Zachos, Mark Girolami, and Theodoros Damoulas
• Interventionally Consistent Surrogates for Complex Simulation Models, by Joel Dyer, Nicholas Bishop, Yorgos Felekis, Fabio Massimo Zennaro, Ani Calinescu, Theodoros Damoulas, and Michael Wooldridge
• Learning the Expected Core of Strictly Convex Stochastic Cooperative Games, by Phuong Nam Tran, The Anh Ta, Shuqing Shi, Debmalya Mandal, Yali Du, and Long Tran-Thanh
• Physics-Informed Variational State-Space Gaussian Processes, by Oliver Hamelijnck, Arno Solin, and Theodoros Damoulas
• SARAD: Spatial Association-Aware Anomaly Detection and Diagnosis for Multivariate Time Series, by Zhihao Dai, Ligang He, Shuanghua Yang, and Matthew Leeke
• Symmetric Linear Bandits with Hidden Symmetry, by Phuong Nam Tran, The Anh Ta, Debmalya Mandal, and Long Tran-Thanh
• The Effectiveness of Surprisingly Popular Voting with Partial Preferences, by Hadi Hosseini, Debmalya Mandal, and Amrit Puhan
• What makes unlearning hard and what to do about it, by Kairan Zhao, Meghdad Kurmanji, George-Octavian Bărbulescu, Eleni Triantafillou, and Peter Triantafillou