International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation is a 5-day conference in Athens, Greece on 24–28 Oct 2026. Abstract deadline: 19 Oct 2026. Organizer: 2026-isola.

AISoLA aims at establishing an interdisciplinary discourse between researchers with backgrounds like computer science, philosophy, psychology, law, education, economics, and social studies about the impact of the recent advances in AI: What are the opportunities and which risks do we have to deal with and how. The intended program is meant to shed light on the nature of modern AI systems, ways to contain them, and their impact on society.

Conference Alerts is a listing service. We don't run, attend or audit this event; the organizer is responsible for its programme, fees and publications.

• The organizer submitted this event from a registered organizer account.
• Our team reviewed the listing before publishing it on 23 Jun 2026.
• Fees, proceedings and indexing (for example Scopus) are as stated by the organizer. Confirm them on the official website before you pay or submit a paper.
• If something looks wrong, use Report this Event on this page. Organizers can use Claim this Event to correct their listing.

Listing ID: CA2672777