ISoLA & AISoLA 2026

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

Talk

AI Literacy as System Capacity: Socio-Technical Principles for AI-Literate AI Use

Time: Wednesday, 28.10

Room: Room 1

Authors: Sophie Kerstan, Richard Uth, Markus Langer