Events

PC chair - Workshop on Formal Integrated Development Environment

PC member - IPM International Conference on Fundamentals of Software Engineering

Artifact evaluation committee member - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

Steering committee member - International Conference on Formal Aspects of Component Software

PC chair - Workshop on Formal Integrated Development Environment

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC member - International Workshop on Reactive and Event-Based Languages & Systems

Steering committee member - International Conference on Formal Aspects of Component Software

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

Local organizer and PC chair - International Conference on Formal Aspects of Component Software

PC member - International Workshop on Coordination and Self-adaptativeness of Software Applications

Steering committee member - IFIP International Conference on Coordination Models and Languages

PC member - IPM International Conference on Fundamentals of Software Engineering

PC chair - IFIP International Conference on Coordination Models and Languages

PC Chair - International Workshop on Coordination and Self-adaptativeness of Software Applications

PC member - IPM International Conference on Fundamentals of Software Engineering

PC Chair - International Workshop on Coordination and Self-adaptativeness of Software Applications