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).
Former Marie Curie Fellowship holder and ACSI member Dr Andreas
Griesmayer today moved to ARM to work as research engineer in their R&D
Good luck Andreas!
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.
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).
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.
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!
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%.
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.
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).
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.