News Archive
- 2024-11-07: On Dec 9, 2024 I will be giving an invited seminar at University of Parma, Italy. [Read more]
- 2024-09-26: I have joined the ASQAP 2025 program committee. [Read more]
- 2024-08-06: Omar Inverso confirmed as keynote speaker at FTfJP'24. [Read more]
- 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.