International Conference on AI-enabled Robotics and Software Verification - (ICAERSV-26)


10th - 11th October, 2026 | Venice, Italy

Multi-format (In-person/Virtual)

Article Submission Register Now Conference Brochure
Home About Organizer Call For Paper Paper Submission Author Guidelines Registration Presentation Guidelines Organizing Committee Collaboration Agenda Do's and Dont's Venue Contact Us

Important Dates

Pre-registration Deadline

10th September, 2026

Paper Submission Deadline

20th September, 2026

Last Date Of Registration

25th September, 2026

Date Of Conference

10th - 11th October, 2026

Downloads

Conference Flyer
Sample Abstract
Sample Full Paper

Call for Papers

The (ICAERSV-26) is dedicated to advancing research excellence by bringing together leading scholars, scientists, and professionals from across the globe. It provides a platform for the dissemination of high-quality research and innovative methodologies.

With a strong focus on Artificial Intelligence,Robotics,Software Engineering, the conference promotes research that contributes to academic depth, practical insights, and interdisciplinary knowledge integration.

Authors are invited to submit papers addressing, but not limited to, the following areas:

  • Verification techniques for AI robotics software
  • Formal methods in robotics verification
  • Testing frameworks for autonomous systems
  • Safety verification in AI-enabled robotics
  • Model checking for robotic software
  • Runtime verification of robotic systems
  • AI in software validation processes
  • Automated testing for robotics applications
  • Robustness testing in AI robotics
  • Verification challenges in collaborative robots
  • Ethics in software verification practices
  • Case studies in robotics software verification
  • AI-driven tools for software testing
  • Performance verification in robotic systems
  • Verification of real-time robotic software
  • User-centered verification methodologies
  • Open-source verification tools for robotics
  • Future trends in robotics software verification
  • Integration of AI in verification processes
  • Verification of safety-critical robotic applications

Peer Review Process

All submissions will be evaluated through a structured peer-review process to ensure academic rigor and contribution to the field. Accepted papers will be presented and may be considered for publication in high-quality journals and indexed conference proceedings.

Registration Details

Secure your participation by completing the registration process at the earliest. Limited presentation slots are allocated on a first-come, first-served basis.

Publication Opportunities

High-quality submissions will be prioritized for publication opportunities in recognized journals and indexed proceedings.

Submit Your Paper Today Register Early & Reserve Your Slot

Empowering Research Continuity

At Research Leagues, academic engagement continues without interruption despite the current global situation. Researchers can present and publish through online and integrated participation pathways.