Femke van Raamsdonk

coordinates:

address:

events:

• Please consider submitting a paper to RTA 2013 !
  2013 06 23-28 RTA 2013
  part of RDP 2013 in Eindhoven, the Netherlands
  
• LSFA 2013
  8th Workshop on Logical and Semantic Frameworks, with Applications
• earlier events

research:

• papers
• thesis

teaching:

• in autumn 2012:
  datastructuren en algoritmen
• in January 2013:
  equationeel programmeren
• 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