1 June 2007
Groningen, The Netherlands
[ The following text is in the "WINDOWS-1252" character set. ]
[ Your display is set for the "iso-8859-1" character set. ]
[ Some characters may be displayed incorrectly. ]
De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL)
nodigt u hierbij uit voor het symposium ***Logica en Cognitie***,
georganiseerd in samenwerking met Cover (studievereniging Kunstmatige
Intelligentie, Groningen). Het symposium staat onder auspicin van het
Instituut Kunstmatige Intelligentie van de Rijksuniversiteit Groningen,
het Cognitieprogramma van NWO en de onderzoeksscholen BCN en SIKS.
Alle belangstellenden zijn van harte welkom. De toegang is gratis,
inclusief koffie en thee, lunch en een drankje aan het einde van de
middag.
-Wanneer: vrijdag 1 juni 2007; -Waar: Hampshire Hotel Plaza in Groningen.
Vanaf het Hoofdstation van Groningen is de locatie te bereiken met bus 6,
die eens in het kwartier vertrekt richting ``Martini Ziekenhuis van
Swieten??, en in ongeveer tien minuten van het station naar Hotel
Hampshire Plaza rijdt. Voor de dienstregeling en een routebeschrijving
voor automobilisten, zie http://www.ai.rug.nl/~sympocie/2007/location.html
-Voertaal: Engels; -Dagvoorzitter: Dr. Bart Verheij, (Kunstmatige
Intelligentie RuG); -Organisatie: -Roeland van Batenburg en Nick Degens
(studenten Kunstmatige Intelligentie RuG, leden van studievereniging
Cover) en Rineke Verbrugge (voorzitter VvL, UHD Kunstmatige Intelligentie
RuG); -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).
-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.
We hopen u op vrijdag 1 juni in Groningen te ontmoeten.
Met vriendelijke groet,
Rineke Verbrugge