ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Session

Track Plenary 'Are AI Minds Minds?' • Saturday, 2.11

Room: Room 1
TimeTopicAuthors
14:30IntroductionEva Schmidt
14:35TBAKarina Vold
15:10TBAJan Broersen
15:45TBAHans-Johann Glock