On Monday 17. 6. 2013 F. Kammueller visited Microsoft Research Cambridge and presented his work on Invalidating Policies using Structural Information, the paper presented earlier in May at the Insider Workshop WRIT’13 co-located with IEEE S&P in San Francisco.
The paper “Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems” by N. Rungta, G. Brat, W. Clancey, C. Linde, F. Raimondi, Chin S. and M. Shafto has been accepted for publication in ATACCS 2013. This work is part of a joint project with NASA Ames for summer 2013.
The paper “Invalidating Policies using Structural Information” by Florian Kammueller and Christian W. Probst from DTU Copenhagen has been accepted at the Workshop on Research for Insider Threat WRIT 2013 part of the IEEE Symposium on Security and Privacy 2013. WRIT has taken place in San Francisco on 24th of May. The presentation of the paper was very successful. An extended version has been invited to a special issue of JoWUA dedicated to Insider Threats.
Barnaby Martin gave the second joint Maths-CS seminar in the series Algebra, Logic and Algorithms at Leeds University on 20th March. He spoke on “A random walk through infinite-domain CSPs” following Martin Dyer’s first talk in the series on Counting CSPs.
The Foundations group welcomed speakers for back-to-back seminars on “super-Monday” the 4th March. Tomasz Radzik (KCL) opened with a talk on “New approximation bounds for some Maximum Network Lifetime problems in wireless ad-hoc networks” and Juraj Stacho (Warwick) continued with “Complexity of low-speed graph partitioning”.
The two papers “Parameterized Resolution with bounded conjunction” (with Stefan Dantchev) and “QCSP on partially reflexive cycles – the wavy line of tractability” (with Florent Madelaine) will be presented by Barnaby Martin at The 8th International Computer Science Symposium in Russia, CSR 2013, in Ekaterinburg, Russia, in June.
Franco Raimondi gave a talk at UCL (in Louvain-la-neuve, Belgium, not the one in London!) about “A new framework for multi-agent system verification”.
Franco was visiting the Louvain Verification Lab (LVL), a group lead by Prof. Charles Pecheur. We have strong collaboration links with this group, and a joint paper has been recently accepted for publication:
S. Busard, C. Pecheur, F. Raimondi, H. Qu, Practical Model Checking Strategies under Partial Observability and Fairness, to appear in Proceedings of Strategic Reasoning 2013 (SR-13), co-located with ETAPS 2013.
The paper “A Synergistic and Extensible Framework for Multi-Agent System Verification” by Josie Hunter, Franco Raimondi, Neha Rungta and Richard Stocker has been accepted for publication at AAMAS 2013, the “largest and most influential conference in the area of agents and multiagent systems”.
The paper “Equivalence Checking of Quantum Protocols” by Ebrahim Ardeshir-Larijani, Simon Gay and Rajagopal Nagarajan has been accepted at TACAS 2013. The conference is part of ETAPS, the European Joint Conferences on Theory and Practice of Software. ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science and this year it will be held in Rome, Italy from 16th to 24th March.