In het kader van het stimuleringsprogramma "Innovatie Hoger Onderwijs", ontwikkelt het centrum voor Logica en Wetenschapsfilosofie een logicaprogramma waarmee de studenten zelfstandig logica-oefeningen kunnen maken. Dit programma draait onder Windows en vormt een uitbreiding van het DOS-programma dat door Dirk Batens werd ontwikkeld. Zoals dat reeds het geval was voor het programma van Dirk Batens, ligt ook voor het nieuwe programma de nadruk op didactische aspecten. Dit geldt zowel voor de interface, de inhoud van de oefeningen als de gebruikte sturings- en feedbackmechanismen. In het eerste deel van deze bijeenkomst zal een voorstelling worden gegeven van het programma: een overzicht van welke delen reeds zijn geïmplementeerd met een korte verantwoording van de gemaakte keuzes; werking van een aantal achterliggende mechanismen; plannen voor verdere uitwerking van het programma. Daarbij zal dieper worden ingegaan op twee belangrijke innovaties ten opzichte van het bestaande programma: het generieke karakter van bepaalde feedback-mechanismen en een nieuw algoritme voor het intelligent sturen van individuele leerprocessen. Het voordeel van deze innovaties is de eenvoudige wijze waarop zij ook voor andere educatieve software bruikbaar zijn. In het tweede deel worden de aanwezigen uitgenodigd om zelf het programma te testen. Er zullen een aantal computers ter beschikking worden gesteld. Niet alleen geeft dit de aanwezigen een beter inzicht in het programma, bovendien zijn alle op- en aanmerkingen over zowel inhoudelijke als vormelijke aspecten bijzonder welkom met het oog op de definitieve afwerking van het programma.