VAS - Verification of Autonomous Systems

3 Papers accepted at IJCAI 2013

admin — Tue, 02 Apr 2013 14:24:51 +0000

The VAS-members authored papers

“An Epistemic Halpern-Shoham Logic”.
“Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems”
” A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments”

are accepted for the 23rd International Joint Conference on Artificial Intelligence (IJCAI13). Beijing, China.

IJCAI13 received 1473 submissions; 413 were accepted (28% acceptance rate).

Dr Andreas Griesmayer joins ARM, Cambridge, as research engineer

admin — Mon, 01 Apr 2013 15:12:29 +0000

Former Marie Curie Fellowship holder and ACSI member Dr Andreas
Griesmayer today moved to ARM to work as research engineer in their R&D
Cores unit.

Good luck Andreas!

Paper accepted at FORTE-FMOODS

admin — Mon, 18 Mar 2013 10:01:12 +0000

The VAS-members authored paper “Model Checking Distributed Systems against Temporal-Epistemic Specifications”. is accepted for presentation at the IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS). Florence, Italy.

Paper accepted at AAMAS13

admin — Thu, 20 Dec 2012 14:37:43 +0000

The VAS-members authored paper
“Automatic Verification of Parametrised Interleaved Multi-Agent Systems”
is accepted for presentation at the 12th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS13). Saint Paul, MN, USA.

AAMAS13 received 612 submissions; 140 of which were accepted for oral presentation (22% acceptance rate).

Prof Alessio Lomuscio elected programme co-chair of AAMAS14

admin — Tue, 18 Dec 2012 15:20:34 +0000

VAS’s coordinator Prof Alessio Lomuscio is elected programme co-chair for AAMAS 2014 by the IFAAMAS board.

AAMAS is the leading international conference series in Agents and Multi-Agent Systems.

IFAAMAS is a non-profit organization whose purpose is to promote science and technology in the areas of artificial intelligence, autonomous agents and multiagent systems. IFAAMAS board members are elected by AAMAS’s conference attendees and serve for a fixed term.

Dr Belardinelli becomes Metre de Conference!

admin — Sun, 02 Sep 2012 16:42:02 +0000

Long standing member of the VAS group Francesco Belardinelli today moved to Paris to take up a tenured position as Maitre de conferences at Université d’Evry.

Bonne chance, Francesco!

Paper accepted in JAIR

admin — Sat, 01 Sep 2012 16:36:16 +0000

VAS-members article ”Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results” was published in the Journal of Artificial Intelligence Research (JAIR) today.

JAIR’s acceptance rate for 2011 was 15%.

Paper accepted at ICSOC12

admin — Thu, 12 Jul 2012 14:50:11 +0000

Our article “Verification of GSM-based artifact-centric systems through finite abstraction”, co-authored by VAS group members in collaboration with DIS La Sapienza University of Rome, has been accepted as full paper at the 10th International Conference on Service Oriented Computing (ICSOC12).

ICSOC12 attracted 185 submissions, 32 of which (17%) were accepted for presentation.

Paper accepted at ICWS 2012

admin — Thu, 26 Apr 2012 20:11:45 +0000

VAS-members paper “Verifying GSM-based Business Artifacts” is accepted for presentation in the research track of the 9th IEEE International Conference on Web Services (ICWS 2012).

Paper shortlisted for best paper at AAMAS12

admin — Sat, 07 Apr 2012 08:16:55 +0000

Ipipan Warsaw and VAS-members paper “Group Synthesis for Parametric Temporal-Epistemic Logic” is shortlisted for best paper at AAMAS 2012 out of 671 submissions.