Femke van Raamsdonk

Address:
Section Theoretical Computer Science
Department of Computer Science
Faculty of Sciences
Vrije Universiteit
De Boelelaan 1081a
1081 HV Amsterdam
The Netherlands

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

Teaching in 2006 - 2007:

• in autumn 2006:
  logical verification 2006-2007
• in spring 2007:
  inleiding theoretische informatica 2006-2007.
• in spring 2007:
  formele structuren 2006-2007.
• if you are interested in a bachelor project in theoretical computer science: please send an email to femke at cs.vu.nl.

Research:

• my thesis.
• recent papers.
• the rewriting home page.

Varia:

• I organise the weekly seminar of the theoretical computer science group.
• I participate in the research school IPA.
• The Vereniging voor Logica (VvL) (Dutch Association for Logic)
• The Nederlandse Vereniging voor Theoretische Informatica (NVTI) (Dutch Association for Theoretical Computer Science)

Events:

• RTA 2007
• HOR 2007
• past events