Center
Page
Web
Wiki
Log In or Register
Prive Philips Advisering OU Cursuscatalogus OU Handleidingen OU Conferenties 1994 1995 PLILP/LOPSTR Begroting Subsidies Programma’s Springer PC Papers 95CSN 95Moskou 95FPCA 1996 IFIP 2.1 Volgende bijeenkomst Notulen IFIP 2.4 Volgende bijeenkomst Notulen Bestuur en Beheer Universiteit UCI WP-FLOW Ufonds (bijz. hoogl) Faculteit Faculteitsraad Notulen Begrotingen Beleidsplannen Overige stukken Instituut IB Notulen Stukken Begrotingen Onderwijsbestuur Onderzoeksbestuur Beleidsplan Apparatuur Commissie DB Notulen Stukken ST-groep Taakverdeling Samenwerkingen Mastersopleiding Projectaanvragen Lopende Projecten Mondrian IPA Overeenkomsten Notulen Bestuur Ingekomen Post Begrotingen Voorstel KNAW Verlengingsaanvraag KNAW Zelfvisitatie Terugkomdagen Andere Scholen Helmholtz ASCI SIKS MRI TUCS BRICS Benoemingscomm Subsidies Senter Bureau EEG liaison SION Richtlijnen Aanvragen Beoordelingen Refereerapporten ESPRIT Comp.Sciences ICES/KISS Kwaliteit Zelfdiagnose/Leiderschap Opleidingen Taken/Rooster 1995 1996 1997 Informatica Studiegids Verkorte D.opleiding Examencommissie OER. Inf. Notulen VV Studentenadmin. Opleidingscommissie Notulen Overige stukken Avirus Notulen Krantje Ledenlijst Visitatie Handleiding Eerdere versies Laatste versie Vroegere visitaties Opleidingscommissie Notulen Overige stukken Onderwijs Beleidsstukken Softtech Praktika Werkcolleges Functionele Aanpak Vakken ABC-Cursus Lesmateriaal Documentatie Smalltalk Prog.Comp Gramm. en Ontleden Dictaat Tentamens Resultaten Praktikum Vorige jaren IPT Dictaat Tentamens HOL Dictaat 1 Sheets Partiele Evaluatie Funct. Progr. Imp. Progr. MEMI Eerste fase Aanvragen (NUFFIC) VoortgangNotulen Exec (Nl) Notulen Exec (Bol) Reisverslagen CCBOL-94 Tweede fase Aanvragen aan Nuffic Voortgang Notulen Exec (Nl) Notulen Exec (Bol) Not. Begeleidingscomm. Reisverslagen Afrekeningen Begrotingen Derde fase Missieverslagen SERC Not. Bestuursverg. Volgende vergadering Financiele overzichten Contracten Onderzoek Papers SDS FP/Johan Smart Cabling Hol/Unity HOAGS Fysica Camera Literatuur AG’s Func. Progr. Monads Praktische Toepassingen Implementatie Realatie Cat. Theorie Strictness Analysis Type Inference Haskell (voorstellen) Identity Relations Uniqueness Typing Deva Software/Systemen CAP Clean Gofer Haskell Mathpad Prospectra HOL Persoonsgebonden Personeel Lex Bijlsma Atze Dijkstra Jeroen Fokker Jurriaan Hage Bastiaan Heeren Johan Jeuring Daan Leijen Piet van Oostrum Lambert [Ufonds] Wishnu Prasetya Eelco Visser Martijn Schrage Promovendi Promotiereglement Frank Atanassov Arthur Baars Martin Bravenboer Eelco Dolstra Arthur van Leeuwen Karina Olmos Alexey Rodriguez Yakushev Oud Personeel Graham Hutton Luc Duponcheel Gert Florijn Matthijs Kuiper Erik Meijer Oud Promovendi Pablo Azero Ade Azurat Joost van Dijk Rui Guerra Andres Löh Joào Saraiva Rob Udink Tanja Vos Frans Rietman Afstudeerstudenten Daniel van Teunenbroek Drietal Bart Lijnse Ronny Pantekoek Overig Paul Tarau
