| Demonstrating Program Evolution on the Traveling Salesman Problem | Solomon Andryushenko, Artem Dzhalilov, Yaroslav Pelekhov, Pavel Agafonov, Maria Ivanova |
| From Real-World Images to Agent-Based Crowd Simulations: An End-to-End Pipeline | Helena G. Theodoropoulou, Vasilis Zafeiropoulos, Zoi Lygizou, Michail Zervas, Dimitris Kalles, Chairi Kiourt |
| Optimizing Voting Rules for Social Welfare and Beyond | Ben Armstrong, Hrishi Kabra, Nicholas Mattei |
| SimRetail: A Persona-Informed Multi-Agent System for Autonomous Retail Assortment Planning | Sowmya Podila, Andrew Yang, Bo Shen, Matthew Nokleby |
| CogEA: A Multi-Agent System for Cognitive Ability Annotation of Exercises by Simulating Human Behaviors | Peiran Zhang, Nan He, Binbin QI, Lifeng Sun |
| ReactICS - Model Checker for Distributed Reaction Systems | Marcin Piątkowski, Artur MÄ™ski, Lukasz Mikulski, Wojciech Penczek |
| A demonstration of an LLM-based multi-agent system for drug discovery | Lakshidaa Saigiridharan, Helen Lai, Kinga Jenei, Jiazhen He, Samuel Genheden |
| BotVerse: Real-Time Event-Driven Simulation of Social Agents | Edoardo Allegrini, Edoardo Di Paolo, Angelo Spognardi, Marinella Petrocchi |
| The Maritime Shipping Competition (MSC) 2025: Efficient Maritime Cargo Bidding and Transport Scheduling | Jan Buermann, Enrico H. Gerding, Enrico Marchioni, Baharak Rastegari |
| LLM-Guided Multi-Agent Evacuation Coordination via Episodic Memory and Cognitive Task Analysis | Roman Sultimov, Aleksandr Volkov, Mile Mitrovic, Yury Maximov |
| AmI HMAS: A Hypermedia MAS for Goal-Driven Interactions with every-day Smart Environments | Alexandru Sorici, Victor-Vasile Udriștioiu, Ioan-Cristian Cordoș, Andrei Olaru |
| CraftUtopia: A LLM-based Multi-Agent System for Collaborative Construction in Minecraft | Wanli Fu, Hao Li, Siyue Ren, Chenxi Xing, Yang Chen, Chu chen, Zhen Wang, Shuyue Hu |
| AgentServe: Online Who–Where Adaptation for Open-World, Geo-Distributed Stateful Multi-Agent Systems | Toshimi Okubo, Takuya Fukushima, Akira Sakamoto, Reina Hoshino, Noriaki Inoue, Kensuke Yokota, Yoshimi Ichiyanagi |
| An Open-Source Framework for Closed-Loop Multi-UAV Planning and Execution | Nico Michel, Björn Döschl, Kai Sommer, Maximilian Schnell, Jane Jean Kiam |
| LightAutoDS-Tab: Multi-AutoML Agentic System for Tabular Data | Alexey Lapin, Hromov Igor, Stanislav Chumakov, Mile Mitrovic, Dmitry Simakov, Nikolay Nikitin, Andrey Savchenko |
| MASPY: A Python Framework for Developing BDI Agents with Reinforcement Learning | Alexandre Lizieri Leite Mellado, Gabriel Galvan Neres, André Pinz Borges, Rafael C. Cardoso, Gleifer Vaz Alves |
| ArgLLM-App: An Interactive System for Argumentative Reasoning with Large Language Models | Adam Dejl, Deniz Gorur, Francesca Toni |
| Drone Routing Problems Challenge | Shiyao Ding, Fumito Uwano, Hideki Aoyama, Donghui Lin |
| AIDERS: An Integrated Multi-UAV Platform for Disaster Management | Xenios Theodorou, Rajitha Ayeshmantha Manellanga, Michalis Demetriou, Panayiotis Kolios |
| Automated Negotiation and Multimodal Time-Series Forecasting for Efficient Procurement | Yasser Mohammad, Haifeng Chen |
| PSTV: Towards Practical Verification of Strategic Ability for Probabilistic Models with Imperfect Information | Mateusz Kamiński, Wojciech Jamroga, Damian Kurpiewski |
| ConvPayMAS: Conversational Payment Multi-Agent System with Agent-to-Agent Protocol and Three-Mandate Verification | CHUA Joon Kiat, Tse Chen Hao, Donghao Huang, Zhaoxia WANG |
| An Agentic Voice-Based Assistant for Interactive Conversation and Guidance in Real-World Environments | Donghao Huang, Monika Pandey |
| EVMapSim: A Network-level Electric Vehicle Charging Simulator | Prokopis Georgiou, Jayati Deshmukh, Vahid Yazdanpanah, Sebastian Stein, Enrico H. Gerding |
| KiMO: Knowledge-infused Multi-agent Orchestrator | Ritvik Garimella, Michael Charles Stewart, Kevin Do, Leeon Israel, Amit Sheth |
| SofIA: AI Clinical Companion for Real-Time Documentation and Decision Support | Leire Villarroya Martinez, Enrique Alcázar Garzás, Stella Heras, Javier Palanca, Vicent Botti |
| Towards Automated Integration of Novel ML tools Into LLM-driven AutoML Agents | Alexey Lapin, Stanislav Chumakov, Pavel Marian, Daniel Ezhov, Nosov Andrei, Hromov Igor, Mile Mitrovic, Dmitry Simakov, Andrey Savchenko, Nikolay Nikitin |
| From Thought to Action: An Interactive Platform for Inspecting Strategic Reasoning in LLMs | Dung-Lin Tsai, Min-Chen Hsieh, Yi-Hua Shih, Yun-Gung Chung, Min-Huan Tsai, Hsun-Ping Hsieh |
| SLEECinFRET: a Tool to Manage Social, Legal, Ethical, Empathetic, and Cultural Requirements | Mahrokh Mirani, Franco Raimondi, Nicolas Troquard |
| LexiCoord: A Multi-Agent Game for Lexical Ambiguity Resolution between Humans and LLMs | Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
| BMC4TimeSec: Verification Of Timed Security Protocols | Agnieszka M. Zbrzezny |
| ToolBrain: A Flexible Reinforcement Learning Framework for Agentic Tools | Quy Minh Le, Minh Sao Khue Luu, Khanh-Tung Tran, Duc-Hai Nguyen, Hoang Quoc Viet Pham, Quan Le, Hoang Thanh Lam, Hoang D. Nguyen |
| SMT4STECTL: Satisfiability-Driven Synthesis from Specifications in Strategic Timed Existential CTL | Artur Niewiadomski, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny |
| CareOps: A Multi Agent Control Room for Independent Living with Care | Lokesh Singh, Jayati Deshmukh, Athina Georgara, Nguyen Tan Viet Tuyen, Sarvapali D Ramchurn |
| SpeakerAICoach: A Multi-Agent Mobile Presenter Training | Andrey Savchenko, Slovyagina Anna Mihailovna, Irina Bogatyreva |
| HAMMR: A Human-Aligned Multi-Agent Framework for Language-Guided Robotic Manipulation | Roopesh Kumar Shanmugasundaram, Niko Mäkitalo |
| rAIson: Developing Reliable Decision-Making Agents | Pavlos Moraitis, Nikolaos Spanoudakis, Antonis Kakas |
| FEDOT.MAS: Generating Multi-Agent Systems for Complex Tasks with Multi-Stage Validation | Dmitry Gilemkhanov, Vadim A. Potemkin, Maria Zaitseva, Ilia Revin, Anna Kalyuzhnaya, Nikolay Nikitin |
| Yanapay: A Simulation Toolkit for Autonomous Agents Reasoning about Human Behaviour in Emergency Evacuations | Alexandros Kangkelidis, Carlos Gavidia-Calderon, Bashar Nuseibeh, Ayodeji Abioye, Amel Bennaceur |
| Logical Robots: Declarative Multi-Agent Programming in Logica | Evgeny S. Skvortsov, Yilin Xia, Ojaswa Garg, Shawn Bowers, Bertram Ludäscher |
| PROTECDOME: PROTECtion DOME for public spaces against rogue drones | Nicolas Souli, Giorgos Pettemeridis, Panayiotis Kolios, Georgios Ellinas |
| MedCoScientist: A Multi-Agent LLM Framework for Clinical Decision Support | Gleb Vitalevich Solovev, Ivan Gurev, Tatyana Polevaya, Zubanenko Aleksei, Nikolay Nikitin |
| Proportionality Press: Illustrating Proportionality through Comment Selection | Jan Maly, Oliviero Nardi, Simon Rey |
| MininetGym: A Live Demonstration of RL-Based Cybersecurity Training | Salvo Finistrella |
