Femke van Raamsdonk

e: f.van.raamsdonk at vu.nl
p: +31 20 598 7710

room T-446
Section Theoretical Computer Science
Department of Computer Science
Faculty of Science
VU University Amsterdam
De Boelelaan 1081a (contact page of the VU)
1081 HV Amsterdam
The Netherlands

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

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

in autumn 2018 in period 1:
data structures and algorithms
in autumn 2018 in period 2:
equational programming
in spring 2019 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

Last modification August 2018.