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.
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 EasyConference’s social media pages, capturing this International Symposium’s unique moments and collaborative spirit in Crete.
Â
Frequently Asked Questions
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.
If your photos have not been published, please send us a photo of yourself, and we will share any photos we have of you.
Email addresses of the scientific committee members can be found on the conference website. There is a link right above this section.
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.