AISoLA 2025

From October 28 to November 5, 2025, the island of Rhodes became a hub for innovation and interdisciplinary dialogue, as it hosted AISoLA 2025. Under the overarching theme “Bridging the Gap Between AI and Reality”, the conference brought together more than 120 academics, researchers, students, and practitioners from 15 countries, including Germany, Austria, Denmark, Italy, Portugal, Sweden, and the United States.

The event took place at the luxurious Alila Resort & Spa, a five-star venue offering breathtaking views of the Aegean Sea.

The conference focused on Artificial Intelligence (AI), Machine Learning (ML), and especially Deep Learning (DL), which have become some of the most transformative fields in computer science. From Large Language Models (LLMs) achieving remarkable linguistic understanding, to AI mastering complex games like Go and real-time video simulations, driving innovation in industries such as autonomous vehicles, logistics and healthcare, AI’s progress has been astounding. Yet, despite these breakthroughs, AI systems can still make unpredictable and sometimes unsafe errors.

As a result, their responsible use remains limited to low-risk applications, such as content creation or coding assistance. Controversies surrounding tools like GitHub Copilot and Tesla’s Autopilot highlight a simple truth: while AI has made extraordinary progress, it is still evolving toward the level of safety, transparency, and fairness required for widespread, critical deployment.

All accepted contributions will be published in the Symposium’s Lecture Notes in Computer Science (LNCS) Proceedings by Springer Verlag as open-access publications, ensuring the widespread dissemination of research outcomes.

 

Programme

AISoLA 2025 featured an impressive array of parallel tracks and symposia that explored the interplay between artificial intelligence, data science and formal methods. This year’s tracks included “Responsible and Trusted AI: An Interdisciplinary Perspective”, “AI-Assisted Programming”, “Small Data Challenges in AI for Materials Science”, “FAITH – Formal Approaches in Intelligence for Transforming Healthcare”, “Formal Methods for Intersymbolic AI”, “Use of AI in the Industrial Sector”, “Digital Humanities”, “Low-Code/No-Code Approaches to Application Development”, “30 Years of PPAAL” and a Doctoral Symposium that showcased emerging research from young scholars.

The symposium was co-located with STRESS 2025: AI-Assisted Programming, further strengthening the exchange between software engineering and artificial intelligence.

Keynote addresses were delivered by distinguished speakers who pushed the boundaries of contemporary AI discourse. Edward A. Lee from UC Berkeley presented “Will Embodied AI Become Sentient?”, exploring the philosophical and practical implications of sentient artificial systems. Maximilian Kiener from Hamburg University of Technology discussed “Deep Ethics”. Álvaro Velasquez from the University of Colorado delivered “Gaps in Generalization: A Case for Neurosymbolic AI,” highlighting new pathways for integrating logic-based reasoning with modern AI learning models.

Bernhard Steffen, Program and Symposium Chair, expressed his appreciation to all participants, organizers and partners, stating: “AISoLA 2025 reaffirmed our commitment to bridging theory and practice. The insights shared this year will help shape the future of responsible AI, formal methods and intelligent systems research.”

Beyond the academic sessions, participants enjoyed memorable networking and cultural experiences. The welcome reception at the Alila Resort & Spa offered guests the chance to relax with canapés and local drinks while overlooking the serene Mediterranean. A traditional dinner at a local tavern brought together researchers in an atmosphere of Greek hospitality—complete with authentic cuisine and music. The beauty of Rhodes Island, with its ancient sites, turquoise waters and medieval charm, made the experience even more unforgettable.

 

Acknowledgments

The AISoLA conference 2025 was made possible through the collaboration of prestigious sponsors and institutions. Springer, a leading global publisher, supported the event through its commitment to advancing open-access scientific knowledge. Technische Universität Dortmund played a central role in supporting research and educational excellence in computer science. The Center for Perspicuous Computing (CPEC) contributed through its research on transparent and verifiable computational systems. The Research Center, Trustworthy Data Science and Security, provided its expertise on ensuring data integrity and secure AI systems. The Lamarr Institute for Machine Learning and Artificial Intelligence also lent its support, reinforcing ISoLA’s mission to advance AI innovation responsibly.

The conference was organized with the professional support of EasyConferences, which provided an efficient Online Registration System, seamless Conference Coordination Services, and comprehensive digital media support, including social media management and website maintenance.

 

Next Location

As AISoLA 2025 concluded, the community now looks forward to its next gathering on nearby Kos Island. Known as the “Island of Hippocrates,” Kos combines rich history, crystal-clear beaches, and the same welcoming atmosphere that perfectly complements the spirit of scientific exchange.