Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022). The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems.

第三届面向可靠工程自主性的智能体与机器人研讨会论文集

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy

该论文集汇集AREA 2023研讨会成果，聚焦自主智能体与机器人融合、物理交互场景应用及可靠性验证，收录12篇论文并推动跨领域合作。

Proceedings Third Workshop on Formal Aspects of Virtual Organisations

This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working Conference on Virtual Enterprises (PRO-VE'11). The FAVO workshop aims to provide a forum for researchers interested in the application of formal techniques in the design and analysis of Virtual Organisations.

WebAL-1: Workshop on Artificial Life and the Web 2014 Proceedings

Proceedings of WebAL-1: Workshop on Artificial Life and the Web 2014, held at the 14th International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14), New York, NY, 31 July 2014.

Proceedings 2nd International Workshop on Strategic Reasoning

This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to bring together researchers, possibly with different backgrounds, working on various aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. This year SR has hosted four invited talks by Thomas A. Henzinger, Wiebe van der Hoek, Alessio R. Lomuscio, and Wolfgang Thomas. Moreover, the workshop has hosted 14 contributed talks, all selected among the full contributions subm…

Proceedings First Workshop on Logics and Model-checking for Self-* Systems

This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of September 2014, and was a satellite event of iFM 2014 (the 11th International Conference on Integrated Formal Methods). The workshop focuses on demonstrating the applicability of Formal Methods on modern complex systems with a high degree of self-adaptivity and reconfigurability, by bringing together researchers and practitioners with the goal of pushing forward the state of the art on logics and model checking.