BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2002/newsitem/281/20-S eptember-2002-VvL-themamiddag-Innovatie-in-het-Log ica-Onderwijs-Zaal-031-Kromme-Nieuwegracht-80-Utre cht DTSTAMP:20020910T000000 SUMMARY:VvL themamiddag "Innovatie in het Logica O nderwijs, Zaal 031, Kromme Nieuwegracht 80, Utrech t DTSTART;VALUE=DATE:20020920 DTEND;VALUE=DATE:20020920 LOCATION:Zaal 031, Kromme Nieuwegracht 80, Utrecht DESCRIPTION:De Vereniging voor Logica en Wijsbegee rte der Exacte Wetenschappen (VvL) nodigt u hierbi j uit voor een VvL themamiddag over Innovatie in h et Logica Onderwijs. Deze gebeurtenis vindt plaats op vrijdag 20 september 2002 in zaal 031, Kromme Nieuwegracht 80, Utrecht. (Let op: gewijzigde loca tie!) Kromme Nieuwegracht 80 bevindt zich vlak bij de Dom, op tien minuten loopafstand van Utrecht C S. Voorlopig programma: 12.00-14.00 Broodjeslun ch annex VvL ledenvergadering. 14.00-14.30 Jan va n Eijck en Jan Jaspars, `Denkende Machines'. 14.3 0-15.00 Elias Thijsse, 'Het Voor en Tegen van Logi ca Onderwijssoftware'. 15.00-15.15 pauze 15.15-1 5.45 Nico Roos, `The Epistemic Model Checker' (met demo). 15.45-16.15 Michael Moortgat en Willemijn Vermaat, `Software voor Taalkunde Onderwijs' (met demo). 16.15 Gelegenheid voor andere demonstrati es. Hierna afsluiting met een borrel. Alle bela ngstellenden zijn van harte welkom. De toegang is gratis. De broodjeslunch wordt u aangeboden door d e VvL. In verband met de catering is de lunch echt er alleen beschikbaar voor wie zich minstens een w eek tevoren heeft opgegeven door middel van een em ail aan ondergetekende, op email adres jve at cwi. nl. De voorlopige agenda De voorlopige agenda v oor de ledenvergadering is als volgt: * Opening * Kort verslag van de stand van zaken door het bes tuur * Kasoverzicht * Voorstel voor bestuurswijz iging * VvL voorstel voor nieuwe activiteiten, me t voorlopig keuze uitL: -Logica en spel -Par adoxen -Drogredenen -Argumentatie en AI - Robots en redeneren * Wat verder ter tafel komt. Belangstellenden voor het geven van een demo: n eem even contact op. X-ALT-DESC;FMTTYPE=text/html:\n
\nDe Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschapp en (VvL) nodigt\nu hierbij uit voor een VvL themam iddag over Innovatie in het Logica Onderwijs.\nDez e gebeurtenis vindt plaats op vrijdag 20 september 2002 in zaal 031, Kromme\nNieuwegracht 80, Utrech t. (Let op: gewijzigde locatie!) Kromme Nieuwegrac ht 80\nbevindt zich vlak bij de Dom, op tien minut en loopafstand van Utrecht CS.\n
\nVoo
rlopig programma:
\n12.00-14.00 Broodjeslunch
annex VvL ledenvergadering.
\n14.00-14.30 Ja
n van Eijck en Jan Jaspars, `Denkende Machines'.\n14.30-15.00 Elias Thijsse, 'Het Voor en Tege
n van Logica Onderwijssoftware'.
\n15.00-15.1
5 pauze
\n15.15-15.45 Nico Roos, `The Epistem
ic Model Checker' (met demo).
\n15.45-16.15 M
ichael Moortgat en Willemijn Vermaat, `Software vo
or Taalkunde Onderwijs' (met demo).
\n16.15 G
elegenheid voor andere demonstraties.
\nHiern
a afsluiting met een borrel.
\nAlle belang stellenden zijn van harte welkom. De toegang is gr atis. De\nbroodjeslunch wordt u aangeboden door de VvL. In verband met de catering is de\nlunch echt er alleen beschikbaar voor wie zich minstens een w eek tevoren heeft\nopgegeven door middel van een e mail aan ondergetekende, op email adres\njve at cwi.nl. \n
\n\nDe voorlopige agenda De voorlopige ag
enda voor de ledenvergadering is als\nvolgt:
\n* Opening
\n* Kort verslag van de stand van
zaken door het bestuur
\n* Kasoverzicht
\n* Voorstel voor bestuurswijziging
\n* VvL
voorstel voor nieuwe activiteiten, met voorlopig k
euze uitL:
\n -Logica en s
pel
\n -Paradoxen
\n&
nbsp; -Drogredenen
\n
-Argumentatie en AI
\n
-Robots en redeneren
\n* Wat verder ter
tafel komt.\n
\nBelangstellenden voor het geven van een demo: neem even contact op.\n
URL:/NewsandEvents/Archives/2002/newsitem/281/20-S eptember-2002-VvL-themamiddag-Innovatie-in-het-Log ica-Onderwijs-Zaal-031-Kromme-Nieuwegracht-80-Utre cht END:VEVENT END:VCALENDAR