Ioana Boureanu gave a talk entitled “Multiagent System-based Verification of Security and Privacy” at the Agent Verification Workshop, held in conjunction with the 16th International Conference on Toward Autonomous Robotic Systems (TAROS 2015), on the 11th September 2015, in Liverpool, UK.
A new post is available at Imperial College London, UK, in the VAS group. The position is associated with the EPSRC project Trusted Autonomous Systems.
The appointed researcher will be responsible for developing, in collaboration with Prof. Lomuscio, model checking methodologies, implementation toolkits, and case-study analyses, rooted mainly in modal logics and multiagent systems.
The appointment is until the 30 Sept 2016. The deadline for applications is 17 September.
Full details are to be found here.
Past and present members of VAS had two papers accepted at IJCAI2015! Alessio Lomuscio presented them, at the end of July, in Buenos Aires! The titles are “Verifying Emergent Properties of Swarms” and “Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems”.
Ioana Boureanu joined the group, as a Marie-Curie fellow, researching on logic-based verification of privacy.
A postdoctoral position is available at Imperial College London, UK, to work in the project “Verification of Autonomous Systems”.
The project aims to develop verification methodologies for autonomous systems specified by agent-based logics, including epistemic logic.
The position is available from now until 30 Sept 2015. Extensions are possible subject to further funding. The deadline for applications is 19 October. Applications received after this date will be considered if the post is still vacant.
A. Lomuscio gave an invited keynote talk at the 21st International Symposium on Temporal Representation and Reasoning in a joint session with the 5th International Symposium on Games, Automata, Logics and
Formal Verification, held in Verona, Italy.
Panagiotis Kouvaros presented the work A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments at the 1st International Workshop on Parameterised Verification in Rome.
Jakub Michaliszyn presented the work Decidability of model checking multi-agent systems against some EHS specifications at the 21st European Conference on Artificial Intelligence (ECAI14) in Prague.
Jakub Michaliszyn presented the work Model Checking Unbounded Artifact-Centric Systems. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR14) in Vienna.
Alessio Lomuscio presented the paper An abstraction technique for the verification of multi-agent systems against ATL specifications at the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR14).held in Vienna.