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<p>\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      </p>\n<p>Voo
 rlopig programma:<br />\n12.00-14.00 Broodjeslunch
  annex VvL ledenvergadering.<br />\n14.00-14.30 Ja
 n van Eijck en Jan Jaspars, `Denkende Machines'.<b
 r />\n14.30-15.00 Elias Thijsse, 'Het Voor en Tege
 n van Logica Onderwijssoftware'.<br />\n15.00-15.1
 5 pauze<br />\n15.15-15.45 Nico Roos, `The Epistem
 ic Model Checker' (met demo).<br />\n15.45-16.15 M
 ichael Moortgat en Willemijn Vermaat, `Software vo
 or Taalkunde Onderwijs' (met demo).<br />\n16.15 G
 elegenheid voor andere demonstraties.<br />\nHiern
 a afsluiting met een borrel.</p>\n<p>\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\n<a class=
 "email">jve <span class="at">at</span> cwi.nl</a>.
 \n</p>\n<p>\nDe voorlopige agenda De voorlopige ag
 enda voor de ledenvergadering is als\nvolgt:<br />
 \n* Opening<br />\n* Kort verslag van de stand van
  zaken door het bestuur<br />\n* Kasoverzicht<br /
 >\n* Voorstel voor bestuurswijziging<br />\n* VvL 
 voorstel voor nieuwe activiteiten, met voorlopig k
 euze uitL:<br />\n&nbsp;              -Logica en s
 pel<br />\n&nbsp;              -Paradoxen<br />\n&
 nbsp;              -Drogredenen<br />\n&nbsp;     
          -Argumentatie en AI<br />\n&nbsp;        
       -Robots en redeneren<br />\n* Wat verder ter
  tafel komt.\n</p>\n<p>\nBelangstellenden voor het
  geven van een demo: neem even contact op.\n</p>\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