Femke van Raamsdonk

coordinates:

address:

events:

• 2012 05 29
  IWC 2012
  International Workshop on Confluence
  co-located with RTA 2012, Nagoya, Japan
  deadline for submission March 26, 2012.
• 2012 06 02
  HOR 2012
  6th International Workshop on Higher-Order Rewriting
  co-located with RTA 2012, Nagoya, Japan
  deadline for submission March 19, 2012.
• 2012 06 17
  DCM 2012
  8th International Workshop on Developments in Computational Models
  Cambridge, England
• earlier events

research:

• papers
• thesis

teaching:

• in autumn 2011:
  datastructuren en algoritmen
• in autumn 2011:
  equationeel programmeren
• scheduled for spring 2013:
  logical verification
• if you are interested in a bachelor project in theoretical computer science:
  please send an email to femke at few.vu.nl.
• earlier teaching

varia:

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