Elk jaar weer organiseert CoVer een symposium, dit jaar in samenwerking met de Vereniging voor Logica. Het symposium staat onder auspicien van het Instituut Kunstmatige Intelligentie van de Rijksuniversiteit Groningen, het Cognitieprogramma van NWO en de onderzoeksscholen BCN en SIKS.
Het thema van dit jaar is Logica en Cognitie. Een paar van de vragen die gesteld zullen worden zijn:
Voor meer informatie zie de abstracts van de sprekers.
| 10.30 - 11.00 | coffee and tea | |
| 11.00 - 11.15 | Bart Verheij: | Introduction to the theme |
| 11.15 - 12.15 | Markus Knauff: | How our brains reason logically |
| 12.15 - 13.00 | Jennifer Spenader: | Bidirectional reasoning and formal models of language acquisition |
| 13.00 - 14.00 | lunch | |
| 14.00 - 15.00 | Keith Stenning: | Anti-psychologism in psychology |
| 15.00 - 15.30 | coffee and tea break | |
| 15.30 - 16.15 | Michiel van Lambalgen: | The logical form of tasks diagnostic for autism |
| 16.15 - 17.00 | Paul Vogt: | The emergence of compositionality in populations of autonomous agents |
| 17.00 | Closing and drinks |