Events

Organization and Evaluation

2021

COORDINATION 2021

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

Last updated on Dec 10, 2020

COORDINATION 2021

F-IDE 2021 @ NFM

PC chair - Workshop on Formal Integrated Development Environment

Last updated on Oct 28, 2020

F-IDE 2021 @ NFM

FSEN 2021

PC member - IPM International Conference on Fundamentals of Software Engineering

Last updated on Oct 18, 2020

FSEN 2021

TACAS 2021 @ ETAPS

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

Last updated on Oct 18, 2020

TACAS 2021 @ ETAPS

2020

FOCLASA 2020 @ SEFM

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

Last updated on Oct 18, 2020

FOCLASA 2020 @ SEFM

COORDINATION 2020

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

Last updated on Oct 18, 2020

COORDINATION 2020

2019

FACS 2019

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

Last updated on Oct 18, 2020

FACS 2019

F-IDE 2019 @ FM

PC chair - Workshop on Formal Integrated Development Environment

Last updated on Oct 18, 2020

F-IDE 2019 @ FM

FOCLASA 2019 @ SEFM

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

Last updated on Oct 18, 2020

FOCLASA 2019 @ SEFM

COORDINATION 2019

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

Last updated on Oct 18, 2020

COORDINATION 2019

FSEN 2019

PC member - IPM International Conference on Fundamentals of Software Engineering

Last updated on Oct 18, 2020

FSEN 2019

2018

REBLS 2018 @ SPLASH

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

Last updated on Oct 18, 2020

REBLS 2018 @ SPLASH

FACS 2018

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

Last updated on Oct 18, 2020

FACS 2018

FOCLASA 2018 @ STAF/SEFM

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

Last updated on Oct 18, 2020

FOCLASA 2018 @ STAF/SEFM

COORDINATION 2018

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

Last updated on Oct 18, 2020

COORDINATION 2018

2017

FACS 2017

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

Last updated on Oct 18, 2020

FACS 2017

FOCLASA 2017 @ SEFM

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

Last updated on Oct 18, 2020

COORDINATION 2017

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

Last updated on Oct 18, 2020

COORDINATION 2017

FSEN 2017

PC member - IPM International Conference on Fundamentals of Software Engineering

Last updated on Oct 18, 2020

2016

COORDINATION 2016

PC chair - IFIP International Conference on Coordination Models and Languages

Last updated on Oct 18, 2020

COORDINATION 2016

2015

FOCLASA 2015 @ SEFM

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

Last updated on Oct 18, 2020

FSEN 2015

PC member - IPM International Conference on Fundamentals of Software Engineering

Last updated on Oct 18, 2020

2014

FOCLASA 2014 @ SEFM

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

Last updated on Oct 18, 2020