Femke van Raamsdonk

email:

address:

events:

• Logic Mentoring Workshop 2025 at CSL 2025 in Amsterdam, The Netherlands
• FSCD 2025 in Birmingham, UK
• Higher-Order Rewriting (HOR) workshops
• FSCD 2023 in Rome, Italy
• Women in Logic (WiL) workshops
• IWC 2021
• CoCo 2021
• FSCD 2020
• termgraph 2020
• IWC 2020
• CSL 2020
• ISR 2019
• FSCD 2019
• HOR 2019
• TERMGRAPH 2018 10th International Workshop on Computing with Terms and Graphs, affiliated with FSCD 2018
• HOR 2018 9th International Workshop on Higher-Order Rewriting, affiliated with FSCD 2018
• HDRA 2018 4th Workshop on Higher-Dimensional Rewriting and Algebra, affiliated with FSCD 2018
• FSCD 2018 3rd International Conference on Formal Structures for Computation and Deduction
• ICALP 2018 45th International Colloquium on Automata, Languages, and Programming
• HDRA 2017
• FSCD 2017
• NIOC 2018 Nederlands Informatica Onderwijs Congres 2018 in Leeuwarden
• ISR 2017, the International School on Rewriting in Eindhoven July 3-7, 2017
• FSCD 2016
• TERMGRAPH 2016 at ETAPS
• Higher-Dimensional Rewriting and Applications (HDRA) 2016
• ISR 2015 International School on Rewriting in Leipzig
• RTA 2015 at RDP 2015
• HDRA 2015 at RDP 2015
• LFSA 2015
• joint RTA and TLCA in the Vienna Summer of Logic 2014
• TERMGRAPH 2014
• HART 2014: Second workshop on Haskell And Rewriting
• LSFA 2014: Logical and Semantic Frameworks with Applications
• RTA 2013
  part of RDP 2013 in Eindhoven, the Netherlands
  
• LSFA 2013
  8th Workshop on Logical and Semantic Frameworks, with Applications
• DCM 2013
  9th International Workshop on Developments in Computational Models
  A satellite event of CONCUR 2013
• earlier events

research:

• papers
• thesis

teaching

• Equational Programming in the Minor Deep Programming of the Bachelor Computer Science
• Advanced Logic in the Master Computer Science
• in autumn 2019 in period 1:
  data structures and algorithms
• in autumn 2019 in period 1:
  introduction computer science
• in autumn 2019 in period 2:
  equational programming
• in spring 2020 in period 4:
  advanced logic
• bachelor projects in period 5 and 6:
  please send me an email (f.van.raamsdonk at vu.nl) if you are interested in a bachelor project in theoretical computer science
• the theory group offers in the Master Computer Science at the VU the specialization
  Foundations of Computing and Concurrency
  the Master Courses we offer are available via the website of the theory group
• earlier teaching