FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026

This program is tentative and subject to change.

This paper introduces a formal framework for modeling agentic agents in large-scale multi-agent systems (MAS), emphasizing their cognitive capabilities and autonomy dimensions—participation, goal, and execution autonomy. We define agentic agents as entities capable of higher-order reasoning, strategic planning, and social interaction, and demonstrate their reducibility to autonomous, goal-driven, and reactive agents through structured mathematical mappings. By formalizing autonomy, we enable reuse of existing MAS algorithms and coordination protocols, avoiding redundant system design. The proposed abstractions support scalable, ethically aligned, and cognitively aware agent architectures suitable for dynamic, decentralized environments.

This program is tentative and subject to change.

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Session 4: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII
11:00
30m
Talk
Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm
Research Track
Tom Levy University of Waikato, Steve Reeves University of Waikato
11:30
30m
Talk
Domain-Guided Quantifier Instantiation with Yardbird
Research Track
Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA
12:00
15m
Talk
From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent SystemsVirtual Attendance
Research Track
Minu Tiwari Siemens AG, Himanshu Kumar Singh Siemens AG
12:15
15m
Talk
Test Data Selection by Failure Coverage
Research Track
Amani Ayad Mount Saint Vincent University, Ali Mili NJIT