Hybrid Conferencee

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

23rd - 24th February 2027 | Port Louis, Mauritius
Sample Abstract
Download
Conference Brochure
Sample Full Paper
Download
Expand the Academic Reach of Your Research - a Q1-ranked and Scopus-indexed journal publication opportunity

Journal consideration and publication are subject to editorial review, peer review and applicable journal policies.

Conference Notifications:

"Be sure to check this section regularly for all Research Plus International Conference updates. We’ll keep you informed about deadlines, event details, and more important notifications."

Call for Papers Extended:
"The deadline for full paper submissions has been extended for the Research Plus International Conference in Port Louis. Submit your research by today to participate in one of the top conferences."
Certificate of Presentation:
"Present your research and receive a Certificate of Presentation to recognise your valuable contribution to the conference."
Abstract Submissions Open:
"Abstract submissions for the Port Louis event are now open! Don’t miss the chance to present your research. Submit now."
Networking with Global Experts:
"Engage with researchers and professionals from around the world at the Port Louis conference. Build collaborations and gain insights from leading experts."
Keynote Speaker Sessions:
"Don’t miss our Keynote Sessions in Port Louis, featuring global leaders and innovators sharing their knowledge."
Best Paper & Best Paper Presentation Award:
"Submit your paper and stand a chance to win the Best Paper Presentation Award. The winner will be recognized at the conference in Port Louis."
SDG-Inspired Conference Focus:
"Our conference will highlight research that addresses global sustainability, inclusive education, and solutions for environmental challenges."

Call for Paper

The ICAERSV aims to explore emerging trends and future directions in research and innovation. It provides a collaborative platform for researchers and professionals to share ideas that shape the future of their respective domains.

The conference highlights advancements in Artificial Intelligence, Robotics, Software Engineering, encouraging innovative, solution-oriented research that addresses global challenges and technological evolution.

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

01
Verification techniques for AI robotics software
02
Formal methods in robotics verification
03
Testing frameworks for autonomous systems
04
Safety verification in AI-enabled robotics
05
Model checking for robotic software
06
Runtime verification of robotic systems
07
AI in software validation processes
08
Automated testing for robotics applications
09
Robustness testing in AI robotics
10
Verification challenges in collaborative robots
11
Ethics in software verification practices
12
Case studies in robotics software verification
13
AI-driven tools for software testing
14
Performance verification in robotic systems
15
Verification of real-time robotic software
16
User-centered verification methodologies
17
Open-source verification tools for robotics
18
Future trends in robotics software verification
19
Integration of AI in verification processes
20
Verification of safety-critical robotic applications