• 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

  • 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, …
  • Best paper award at FM 2026

    June 5, 2026
    The paper “Verifying Sampling Algorithms via Distributional Invariants” by Daniel Zilken, Kevin Batz, Joost-Pueter Katoen and Tobias Winkler has won the Best Paper Award at the Formal Methods Symposium 2026 …
  • Paper in Information and Computation

    May 4, 2026
    The paper entitled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li (ISCAS), Mingshuai Chen (Zhejiang Univ.), Liangran Zhao (Peking Univ.), Naijun Zhan (Peking Univ.), Hui Lu (Nanjing), …

Links

  • RWTH Aachen
  • Faculty of Computer Science