Insider at Microsoft Research Cambridge

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.

Posted in Uncategorized | Leave a comment

Paper by Franco Raimondi accepted at ATACCS 2013

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.

Posted in Uncategorized | Leave a comment

Paper by Florian Kammueller accepted at WRIT 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.

Posted in Uncategorized | Leave a comment

Algebra, Logic and Algorithms Seminar at Leeds

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.

Posted in Uncategorized | Leave a comment

ToCAI Super-Monday!

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”.

Posted in Uncategorized | Leave a comment

Papers by Barnaby Martin accepted at CSR 2013

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.

Posted in Uncategorized | Leave a comment

Paper by Rajagopal Nagarajan accepted at FLAIRS 2013

The paper “A Temporal Logic for Planning under Uncertainty” by Manuel Biscaia, Pedro Baltazar, Paulo Mateus and Rajagopal Nagarajan has been accepted at FLAIRS 2013. The conference is the annual meeting of the Florida Artificial Intelligence Research Society and is held in co-operation with the Association for the Advancement of Artificial Intelligence (AAAI). It will be held this year in St. Pete Beach, Florida from May 22nd to 24th.
Posted in Uncategorized | Leave a comment

Seminar by Franco Raimondi (and new paper)

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.

Posted in Uncategorized | Leave a comment

Paper by Franco Raimondi accepted at AAMAS 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”.

Posted in Uncategorized | Leave a comment

Paper by Rajagopal Nagarajan accepted at TACAS 2013

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.

Posted in Uncategorized | Leave a comment