Symposium Logica en Cognitie!

Zoals elk jaar organiseert CoVer weer een symposium. Het thema is dit jaar "Logica en Cognitie", en het symposium is daarom samen met de Vereniging voor Logica georganiseerd. Het zal gaan over de raakvlakken tussen de logica en de cognitie: waarom is logisch redeneren zo moeilijk? Wat voor processen in je brein liggen eraan ten grondslag? Kunnen robots maar het beste verre van logica blijven? Diverse sprekers uit binnen- en buitenland zullen spreken.

De toegang is gratis, inclusief koffie en thee, lunch en een borrel aan het einde van de middag.

-Wanneer: vrijdag 1 juni 2007;
-Waar: Hampshire Hotel Plaza in Groningen.
-Routebeschrijving op: http://www.ai.rug.nl/~sympocie/2007/location.html
-Voertaal: Engels;
-Dagvoorzitter: Dr. Bart Verheij;
-Committee van aanbeveling: Prof. dr. L.R.B. Schomaker (Kunstmatige Intelligentie, RuG) en Prof. dr. J.F.A.K. van Benthem (ILLC, Universiteit van Amsterdam);
-Onder auspiciën van: Vereniging voor Logica; Kunstmatige Intelligentie RuG; het Cognitieprogramma van NWO; de onderzoeksscholen BCN en SIKS.

-Programma 'Logica en Cognitie':
[10.30-11.00] koffie en thee
[11.00-11.15] Bart Verheij: Introductie tot het thema
[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] Afsluiting en borrel

Abstracts, informatie over de sprekers en links naar relevante literatuur zijn te vinden op http://www.ai.rug.nl/~sympocie/2007/speakers.html.

Je bent van harte welkom op vrijdag 1 juni in Groningen.

Met vriendelijke groet,
Nick Degens (Cover),
Roeland van Batenburg (Cover) en
Rineke Verbrugge (voorzitter Vereniging voor Logica)