• 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 at UAI 2025

    May 7, 2025
    The paper entitled “Multi-Cost-Bounded Reachability Analysis of POMDPs” by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein has been accepted for the 41st Conference on Uncertainty in Artificial Intelligence …
  • Paper at FSCD 2025

    May 1, 2025
    The paper entield "Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems" by Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl and Joost-Pieter Katoen has been accepted for the 10th International Conference on …
  • Paper at ICALP 2025

    April 14, 2025
    The paper entitled “Bayesian Inference in Quantum Programs” by Christina Gehnen, Dominique Unruh and Joost-Pieter Katoen has been accepted for presentation at the 52nd EATCS International Colloquium on Automata, Languages, …

Links

  • RWTH Aachen
  • Fachgruppe Informatik