Inaugural Australian NeuroSymbolic Systems Workshop
was held successfully

Congratulations! The Inaugural Australian NeuroSymbolic Systems Workshop was successfully held on 10th November, 2025 in Sydney, Australia!

Inaugural Australian NeuroSymbolic Systems Workshop:
Towards a National Vision for Trustworthy and Verifiable AI

The rapid rise of generative AI—including the widespread deployment of Large Language Models (LLMs), Vision-Language Models (VLMs), and Vision-Language-Action (VLA) systems—has transformed Australia’s digital and industrial landscape. Yet their adoption in safety- and mission-critical systems has exposed a pressing challenge: these models often lack human-level reasoning, domain expertise, and verifiable assurance mechanisms needed for responsible deployment.

This workshop convenes leading Australian researchers to establish a national community on NeuroSymbolic Systems—a research frontier that fuses neural learning with symbolic reasoning to achieve interpretable, testable, and verifiable AI. By bridging perception and reasoning, neurosymbolic approaches pave the way for AI that can be trusted in critical domains such as autonomous systems, defense, health, and finance.

The workshop aims to coordinate joint initiatives under ARC Discovery Projects, Linkage Projects, and Industry Transformation Hubs, aligning with the Australian Government’s Responsible AI and Critical Technologies Agenda. It will also strengthen international collaboration with partners in Singapore, Japan, the European Union, and the United States, where AI safety and assurance frameworks are already emerging.

Through open dialogue and collaboration, participants will:
  1. Define a national research roadmap for neurosymbolic and verifiable AI.
  2. Form an interim steering committee to coordinate future funding and partnerships.
  3. Build Australia’s capacity for trustworthy, human-aligned AI innovation that integrates technical rigor with ethical accountability.

This inaugural gathering marks a pivotal step toward uniting Australia's research strengths in AI safety and interpretability, positioning the nation at the forefront of responsible, verifiable AI on the global stage.

Workshop Agenda

Venue: 1 Central Courtyard Building (1CC), Macquarie University

09:00 - 09:30 Registration & Networking Coffee
1CC 2nd Floor, Welcome Desk
09:30 – 09:35 Open Remarks
Room 210 - Prof. Jian Yang (Macquarie University)
09:35 – 09:45 Workshop Opening & Overview
Room 210 - A/Prof. Xi (James) Zheng (Macquarie University)
Welcome participants, outline objectives, structure of the day, and expected outcomes (community building, research roadmap, and steering committee).
09:45 – 10:15 Opening Talk: Towards Verifiable Autonomous Systems with NeuroSymbolic Reasoning
Room 210 - A/Prof. Xi (James) Zheng, ARC Future Fellow (Macquarie University)
10:15 – 10:45 Learning Cognitive Systems: evolving symbolic rules containing neuro identified features
Room 210 - Prof. Will Browne, Queensland University of Technology
10:45 - 11:00 Morning Coffee & Tea Break
Building Foyer
11:00 – 11:30 Reshaping Requirements Engineering in the AI Era
Room 210 - Dr. Zhenchang Xing, Data61
11:30 – 12:00 Static Abstract Execution from Programs to Models
Room 210 - A/Prof. Yulei Sui, UNSW
12:00 - 13:30 Networking Lunch
Building Foyer
13:30 – 14:00 A Principled Programming Model for Constructing LLM-Powered Reasoning Tools
Room 210 - Dr. Aaron Bembenek, School of Computing and Information Systems, the University of Melbourne
14:00 – 15:30 Breakout Session I: Key Research Directions
Rooms 207 & 208
Participants split into two groups to discuss national priorities; each group nominates a rapporteur to summarise outcomes.
15:30 - 15:45 Afternoon Coffee & Tea Break
Building Foyer
15:45 – 16:45 Breakout Session II: Community Roadmap & Steering Committee Formation & Next Steps
Room 210
Rapporteurs present summaries; plenary merges ideas into a national research roadmap. Each university cohort nominates one representative through an open, collegial process facilitated by A/Prof. Zheng.
16:45 – 17:00 Closing Remarks
Room 210 — A/Prof. Xi (James) Zheng
Summary of outcomes, next workshop planning, and coordination.