International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Introduction | Eva Schmidt |
| 14:35 | Do frontier models have general intelligence? | Karina Vold |
| 15:10 | What are some necessary and sufficient conditions for consciousness of computational mechanisms? | Jan Broersen |
| 15:45 | Of men, mice and machines. How the debate about AI minds is linked to the debate about animal minds. | Hans-Johann Glock |