12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
AISoLA provides an open forum for discussions about recent progress in machine learning and its implications. It is our core belief that this topic must be explored from multiple perspectives to establish a holistic understanding. That is why AISoLA invites researchers with different backgrounds like computer science, philosophy, psychology, law, economics, and social studies to participate in an interdisciplinary exchange of ideas and to establish new collaborations
Aims and Scope
Artificial Intelligence (AI), Machine Learning (ML) and, in particular, its subfield of Deep Learning (DL), have become perhaps the most hyped and popular branches of computer science. Rooted in a long history of impressive success stories, reasons for the hype seem clear:
- In natural language processing, Large Language Models (LLMs) routinely boast impressive results in both syntactical and semantical tasks. (e.g. GPT, PaLM, GLaM, LaMDA, Gopher and others)
- In game-playing, AI systems have achieved top-human to superhuman performance in complex games where outperforming humans was long thought impossible. This ranges from boardgames such as Go (i.e., AlphaGo) to even modern, real-time video games (e.g., OpenAI Five and AlphaStar).
- In industrial applications, AI has been a driving force behind innovations in autonomous driving (e.g., Tesla Autopilot), logistics, recommender systems and healthcare (e.g., AlphaFold), promising safer driving, efficient supply chains, adequate advertisement and better medical care.
Most strikingly, these milestones were achieved with minimal human supervision: DL systems, be they for languages, games,or traffic, are learned from samples! On the flip side, AI-based systems make, from a human perspective, idiotic mistakes that may well have fatal consequences.
Due to this unsafe nature of AI systems, their responsible use is currently restricted to non-critical and low risk scenarios. E.g., drawing pictures with DALL·E 2, ImaGen and Stable Diffusion or using one of the many LLMs to write decently convincing articles. Even solving small size computing tasks or documenting user-provided pieces of code is not critical (c.f., GitHub Copilot ), as long as, e.g., the generated code is reviewed before deployment. However, lawsuits around GitHub Copilot and Tesla’s automated driving mode as well as sustained concerns regarding social fairness issues show: AI is not quite ready for practice. And practice is not quite ready for AI.
AISoLA 2023 Schedule
|All other contributions||31.07.2023|
AISoLA 2023 Deadlines
All accepted contributions will be published in the Symposiums’ LNCS Proceedings (Springer Verlag). Selected contributions will be invited to the Innovations in Systems and Software Engineering: A NASA Journal (Springer Verlag, London), to Thematic Sections in STTT (Springer Verlag, Heidelberg) or to the newly founded LNCS Transactions on Foundations for Mastering Change (FoMaC).
ALDEMAR KNOSSOS ROYAL RESORT
Alila Resort & Spa, a member of Mitsis Premium Collection, offers true 5-star services on one of Greece’s most popular islands, Rhodes. The hotel provides life-style oriented, modern and fresh premises, aspiring to values such as genuine Mediterranean hospitality, an authentic Greek isle experience and exceptional cuisine focus on Mediterranean, International and Asian traditions.