Algemene ledenvergadering 8 april 2011

De Nederlandse Vereniging voor Logica en
Wijsbegeerte der Exacte Wetenschappen
Algemene Ledenvergadering
2011 04 08, Hoog Brabant, Utrecht
(Symposium Logic and Culture)
Aanwezig: Peter van Emde Boas (Bronstee Software & Services), Leo Horowitz,
Barteld Kooi (RUG), Erik Krabbe (RUG), Iris Loeb (VU), Femke van Raamsdonk (VU, secretaris) Elias Thijsse (UvT, penningmeester), Sara Uckelman
(UvA), Wim Veldman (RU), Rineke Verbrugge (RUG, voorzitter), Karin van
Wijngaarden.
1. Opening Rineke Verbrugge opent de vergadering. Zij noemt nog even
de samenstelling van het huidige bestuur: Rineke Verbrugge (voorzitter), Elias
Thijsse (penningmeester), Femke van Raamsdonk (secretaris), Balder ten Cate
(lid), Vincent van Oostrom (lid).
2. Notulen De notulen van de algemene ledenvergadering van 23 april 2010
worden goedgekeurd, met één verbetering: het gaat inderdaad om 23 april 2010
en niet om ‘23 February 2010’.
3. Medelingen Rineke Verbrugge maakt melding van de volgende activiteiten:
de Tractatus Dag van 20 december 2010, waar de VvL co-sponsor van was, het
Symposium Logic and Culture georganiseerd door de VvL, en in mei2011 zal in
Groningen ???, met de VvL als co-sponsor.
4. Financieën In de zomer van 2010 is de kascontrole verricht door ?? Dijkstra en Leo Horowitz. Alles is in orde bevonden en het advies is de penningmeester decharge te verlenen. De vergadering neemt dit advies over. De
vergadering geeft toestemming om contributie over zowel 2010 als 2011 (tegelijk)
te innen. De vereniging is op dit moment financieel gezond.
5. Samenstelling bestuur Benedikt Löwe (UvA) is gevraagd als bestuurslid
en komt het bestuur versterken.
6. Toekomstige activiteiten Mogelijke thema’s voor symposia: bomen (bijeenkomst in een Hortus, cf. Thomas Müller), Turing jaar 2012 (cf CiE, Peter
van Emde Boas, Benny Mols) Fixed points, rethorica, dialectica, logic and computation, Gödel’s Theorems.
7. Sluiting Rineke Verbrugge sluit de vergadering.
1