Professional activities

For those interested, here is a short overview of my professional activities not included in my usual tasks at Radboud University (and not including anonymous reviews).

Invited talks

2023
  • Invited speaker at the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
2022
  • Invited speaker at the Conference on Formal Structures for Computation and Deduction
2021
  • Invited speaker at the Brasil Summer Workshop in Mathematics
2020
  • Invited speaker at the workshop on Logic and Computational Complexity at LICS/ICALC
2019
  • Invited speaker at the workshop on Developments in Implicit ComplExity and Foundational & Practical Aspects of Resource Analysis at ETAPS
  • Invited speaker at the International Workshop on Confluence
2018
  • Invited speaker at the Deduktionstreffen at LuxLogAI
  • Invited speaker at the workshop on Higher Order Rewriting at FLOC

Lecturing and mentoring

2024
  • lecturer in the advanced track of the International School on Rewriting
2023
  • lecturer in the advanced course on algorithms, complexity and security of the IPA research school
2021
  • Speaker in the IPAndemic event
2019
  • Lecturer in the advanced track of the International School on Rewriting
2018
  • Panel member in the Logic Mentoring Workshop at FLOC
2013
  • Lecturer in the Spring Days on Cyber-Physical Systems of the IPA research school
2010
  • Teaching assistant in the International Summer school on Rewriting (ISR)
2002
  • Teacher in the Women In Training for Computer Hero project

Scientific committees and panels

2023
  • Program co-chair for the workshop WPTE
  • Joined the PC for HOR 2023
  • Jonied the SC for LSFA
2022
  • Joined the PC for STACS 2023
  • Joined the PC for WPTE 2022
2021
  • Elected chair of the IFIP working group 1.6 (rewriting) for three years
  • Joined the PC for LSFA 2021
  • Joined the PC for IFL 2021
  • Participated in the PC for WST 2021
  • Elected program chair for WST 2022
2020
  • Joined the panel for CoCo 2020 (confluence competition)
  • Joined the PC for WST 2020 (postponed due to Covid-19)
  • Joined the PC for the new workshop SCOT 2020 (postponed due to Covid-19)
2019
  • Joined the IFIP Working group 1.6 (rewriting)
  • Joined the PC for FSCD 2020
  • Participatied in the PC for HOR 2019
2018
  • Elected to the SC for FSCD (for three years)
  • Table host at the Diversity event at LuxLogAI
  • Participated in the PC for DICE 2018
  • Organisor for TeReSe 2018
2014
  • Participated in the PC and was local organisor for HOR 2014
2010
  • Organisor for TeReSe 2010