- 2024-07-22: I have joined the NSAD 2024 program committee.
[Read more]
- 2024-07-03: Papers “Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification” and “Attributed Point-to-point Communication in R-Check” accepted to ISoLA'24.
[Read more]
- 2024-06-17: Deadline extension for FTfJP'24.
[Read more]
- 2024-04-15: I will chair the FTfJP'24 workshop at ECOOP'24.
[Read more]
- 2024-02-16: From March 2024 I will join the Cyber Physical Systems research unit at TU Wien, Vienna, Austria.
[Read more]
- 2024-01-23: I have joined the FMICS'24 Program Committee.
[Return Home]