• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »People
  • »Helen Bolke-Hermanns
  • »Volunteer Activities by Helen Bolke-Hermanns

Volunteer Activities by Helen Bolke-Hermanns

 

  • FOLKS e.V. Verein zur Förderung von Forschung und Lehre im Bereich Kommunikation und verteilte Systeme an der RWTH Aachen
  • Gesellschaft für Informatik & RIA – Regionalgruppe Aachen der GI
  • REGINA e.V

 

  • Förderverein der Freunde Anne-Frank-Gymnasium
  • Stadtbekannt & Co Aachen

  • 100 Reisen zu Lieblingsorten in Deutschland (81/100)
  • 100 Reisen zu schönsten Orten in Europa (30/100)

 

  • Alumni

Latest News

  • Paper in Theoretical Computer Science

    September 14, 2026
    The paper “Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for publication in Theoretical Computer Science. The …
  • EATCS Best Paper Award

    July 2, 2026
    The paper “Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars” by Alexander Ferber, Ira Fesefeldt, Thomas Noll and Emmett Rayes has received the EATCS Best Paper Award at …
  • CAV 2027 in Amsterdam

    June 11, 2026
    We are pleased to announce that the MOVES group at RWTH Aachen University, together with the University of Twente, will organize CAV 2027, the 39th International Conference on Computer-Aided Verification, …

Links

  • RWTH Aachen
  • Faculty of Computer Science