From the 31st of May until June 3rd, Anton Reinecke attended the Joint Meeting of the German RTGs at Castle Dagstuhl as a representative of CAUSE.
The event featured two poster sessions where he presented his research into real-time updates in timed automata models for online monitoring workflows.
