Kort verslag van de vergadering van het VvL bestuur op 7 november 2000 Aanwezig: John-Jules Meyer (voorzitter), Jan van Eijck, Wiebe van der Hoek, Erik Krabbe, Elias Thijsse. Agenda: 1. Notulen 2. Overdracht penningmeesterschap 3. Toekomstplannen en WEB Site 4. Ledenvergadering 5. Wvttk 6. Rondvraag De voorzitter opent de vergadering om 2 uur. Ad 1. Naar aanleiding van de notulen komen de volgende punten ter sprake. * Archiefbeheer. Jan van Eijck zal Paul van Ulsen vragen het archief * te beheren. De bedoeling is dat het hele archief op het kantoor van * Peter Blok wordt ondergebracht. * De policy ten aanzien van subsidieaanvragen die in de notulen is * samengevat wordt door het bestuur onderschreven. Ad 2. Overdracht van het penningmeesterschap: Wiebe regelt dit met Frank. Contributie voor dit jaar zal zsm worden geind. Jan van Eijck zal de situatie rond LC'99 uitzoeken: staan er nog bedragen open die door LC'99 zullen worden geind? Wordt er door LC'99 nog uit het noodfonds geput, of is deze zaak al afgewikkeld? Ad 3. Men is het erover eens dat verjonging ven het ledenbestand noodzaak is. Als mogelijkheid wordt geopperd om OzsL en SIKS AIOs gratis lid te maken van de vereniging (zeg voor een periode van 4 jaar), en hen daarna te verzoeken regulier lid te worden. Erik Krabbe bepleit een systeem van agentschappen, waarbij de bestuursleden en oud-bestuursleden als lokale agenten van de vereniging zouden kunnen optreden. Het lidmaatschap moet aantrekkelijk worden gemaakt door het af en toe uitnodigen van buitenlandse coryfeeen op de VvL themadagen. Voorlopig proberen we een themadag per jaar te organiseren. Als dit succes heeft zouden we dit kunnen opvoeren tot twee dagen per jaar. Jan van Eijck zegt toe dat hij een VvL foldertje zal maken, als visitiekaartje van de vereniging. Ook zal de WEB site up to date worden gemaakt. Een uitvoerige WEBsite ontwerpen is nu niet aan de orde: we hebben immers niet heel veel `content' om erop te zetten. Er komt snel een voorlopige pudate, met verzoek om respons van het bestuur. De algemene mening is dat bijeenkomsten op zaterdag niet meer haalbaar zijn. De VvL bijeenkomsten moeten daarom naar de vrijdag worden verplaatst, bij voorbeeld van half 11 tot 5, met gelegenheid tot napraten of borrelen. Als mogelijke lokaties worden de Poort van Cleve en Stadskasteel Oudaen, beide in Utrecht, op loopafstand van het CS, genoemd. Er zou bij de VvL bijeenkomsten een gezamenlijke lunch kunnen worden georganiseerd, met opgave vooraf bij het bestuur. Erik Krabbe bepleit het eerder versturen van aankondigingen. Het zou handig zijn om een email lijst van VvL leden aan te leggen, maar voorlopig zouden alle aankondigingen ook schriftelijk moeten worden gedaan. Er wordt een stortvloed van ideeen voor komende activiteiten gegenereerd: * Logica en Spel * L.E.J. Brouwer en zijn tijd (met Dirk van Dalen) * Kripke (Modellen) * Paradoxen * Drogredenen * Argumentatie en AI * Robots en redeneren * Logica voor een breder publiek (met Jan Jaspars) * Lezingen nav proefschriften (bv. Paul van Ulsen) Iha wordt gepleit voor speciale elementen om zo'n sessie aantrekkelijk te maken: debat, interview, borrel, demo. Algemeen enthousiasme ontstaat voor het plan om een `Eerste logica debat van de eeuw' te organiseren, met Henk Barendregt, Johan van Benthem, en Albert Visser, en eventueel een buitenlandse coryfee (de namen Woods, Girard en Gabbay passeren de revue). Streefdatum: ergens in januari. Onderwerp: de toekomst van de logica en de logica van de toekomst. Een en ander eventueel afgesloten met forum-discussie olv Theo Kuipers. Ad 4. Een ledenvergadering is noodzakelijk om de bestuurswissel die zojuist heeft plaatsgevonden te bekrachtigen. Dit zou bij voorbeeld kunnen tijdens de lunch op de dag van het in Januari geplande debat. Ad 5 en 6. Er komt verder niets ter tafel, en van de rondvraag wordt geen gebruik gemaakt. De voorzitter sluit de vergadering rond 4 uur. Jan van Eijck 9/11/00