• 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 Dafny 2026

    November 14, 2025
    The paper “Diagnostics in Probabilistic Program Verification” by Philipp Schröer, Darion Haase, and Joost-Pieter Katoen has been accepted at the Dafny 2026 workshop. The paper focuses on effective user diagnostics …
  • Paper in FMSD Journal

    November 13, 2025
    The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Junges (Radboud University), Joost-Pieter …
  • Paper at ICTAC 2025

    August 30, 2025
    The paper “Weighted Automata for Exact Inference in Discrete Probabilistic Programs” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for presentation at ICTAC 2025. The paper explores …

Links

  • RWTH Aachen
  • Fachgruppe Informatik