iSoLA/ AiSoLA 2024

12th International Symposium On Leveraging Applications of Formal Methods, Verification, and Validation

Crete, Greece

Oct -Nov 2024

Computer Science

 

The 12th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA) brought together a dynamic community of over 300 developers, researchers, and practitioners from 31 countries to the Aldemar Knossos Royal Resort in Crete, Greece, from October 27 to November 31, 2024.

This International Symposium was co-located with AiSOLA (October 30 to November 3) and the International School on Tool-based Rigorous Engineering of Software Systems (October 27 to October 31), as well as with key satellite events like the RED Colloquium, RTS Colloquium, IFIP-WG 1.3,  IFIP-WG 1.9/2.15, and COST Action CA22116.

The Aldemar Knossos Royal Resort, known for its fully-equipped conference facilities, comfortable accommodations, and Mediterranean views, set the stage for discussions on tools and methodologies for specification, analysis, verification, certification, and testing of complex systems across various application domains.

This year’s sessions, chaired by Steffen Bernard from the Technical University of Dortmund and Berna and Tiziana Margaria of the Irish Software Research Centre, highlighted critical topics in Automating Software Re-Engineering, Digital Twin Engineering, Research at ISE, and Scalable Verification and Validation of Concurrent and Distributed Systems.

Running together, AiSOLA addressed how recent advancements in artificial intelligence can be applied across multiple fields, fostering a space where computer science, psychology, philosophy, law, economics, and social sciences researchers examined AI’s impact on research, education, and broader society. Tracks like AI-Assisted Programming, Digital Humanities, and Safe Autonomous Vehicles sparked cross-disciplinary discussions and collaborations.

The symposiums featured prestigious speakers who presented the latest research developments. Thomas A. Henzinger from IST focused on Neural Certificates, while Ina K. Schieferdecker from TU Berlin posed a thought-provoking question: “Is your AI-based System Five Star Sustainable?” Edward A. Lee from UC Berkeley discussed the relationship between Certainty and Intelligence, and Christel Baier from TU Dresden offered insights on the intersection of Verification and Causality.

Panels explored several themes, prompting lively engagement from participants. Edward A. Lee moderated a discussion on Technology and Democracy with insights from James Larus, Viola Schiaffonati, and Moshe Y. Vardi, while another session, The Impact of AI on Academic Research, examined the transformative effects of AI, featuring contributions from Eva Schmidt and Viola Schiaffonati. Additional panels set challenging questions, with sessions such as “What Would Turing Say?” by Mike Hinchey and “LM-Based Publication-Support: What Should Be Desired, Allowed, Forbidden,” led by Bernhard Steffen.

Social events throughout the week provided a great opportunity for participants to connect on both professional and personal levels. A welcome reception on the venue’s scenic beachfront kicked off the symposiums, and a conference dinner featuring local cuisine offered traditional Cretan music and dance, encapsulating the island’s rich heritage. A farewell reception on the beach capped the gathering.
Attendees also had a chance to explore Crete’s cultural legacy, with excursions to the iconic Knossos Palace, the ceremonial heart of the ancient Minoan civilization, and the legendary Labyrinth of King Minos.

The Symposiums received generous support from their co-sponsors, including Springer, the Technical University of Dortmund, the Institute for Machine Learning and Artificial Intelligence (LAMAR ), the Center for Perspicuous Computing (CPEC), CRT-AI, and the Center for Trustworthy Data Science and Security.

EasyConferences, a professional conference organizer, ensured smooth logistics by overseeing online registration and local arrangements for this international symposium.

Participants are invited to share their experiences and photos on the EasyConference’s social media pages, capturing this International Symposium’s unique moments and collaborative spirit in Crete.

 

Frequently Asked Questions

How can I get an invoice for the conference? **

To request an invoice, please contact us through email. Our team will be happy to assist you. Please include the billing address which you require on the invoice or any other special inquiries, within the email.

Where can I find my photos from the event?

If your photos have not been published, please send us a photo of yourself, and we will share any photos we have of you.

I have questions towards the scientific committee.

Email addresses of the scientific committee members can be found on the conference website. There is a link right above this section.

I lost a valuable item during the conference. What should I do?

You may contact us to let us know what you have lost along with possible locations. We would be happy to assist and contact staff of the possible places. Alternatively, you may contact the hotel/ restaurant etc. directly and inquire about lost items.

Find out more Press ReleasesComputer Science