Femke van Raamsdonk

Address:
room T-446
Section Theoretical Computer Science
Department of Computer Science
Faculty of Sciences
Vrije Universiteit
De Boelelaan 1081a (contact page of FEW)
1081 HV Amsterdam
The Netherlands

e: femke at cs.vu.nl
p: +31 20 598 7710
f: +31 20 598 7653

Teaching:

• in autumn 2011:
  datastructuren en algoritmen
• in autumn 2011:
  equationeel programmeren
• in spring 2011:
  logical verification
• in summer 2011:
  an introductory course in term rewriting at the
  5th international school on rewriting (ISR 2010)

• logische structuren
• for practicing natural deduction:
  the ProofWeb system
• if you are interested in a bachelor project in theoretical computer science:
  please send an email to femke at cs.vu.nl.
• earlier teaching

• papers.
• my thesis.

• 2011 10 28 (Friday)
  09.30-14.45
  TCSA Day
  (Theoretical Computer Science Amsterdam)
• Symposium Logic and Culture Friday April 8, 2011, Hoog Brabant, Utrecht
  organized by the Vereniging voor Logica
• RTA 2011 May 30--June 1, 2011, Novi Sad.
• DCM 2011 July 3, 2011, Zurich.
• past events

• the weekly seminar of the theoretical computer science group.
• Vereniging voor Logica (VvL) (Dutch Association for Logic).
• Nederlandse Vereniging voor Theoretische Informatica (NVTI) (Dutch Association for Theoretical Computer Science).
• the rewriting home page.
• working group rewriting.
• the research school IPA.