José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Events
Organization and Evaluation
2021
COORDINATION 2021
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Last updated on Dec 10, 2020
F-IDE 2021 @ NFM
PC chair
- Workshop on Formal Integrated Development Environment
Last updated on Oct 28, 2020
FSEN 2021
PC member
- IPM International Conference on Fundamentals of Software Engineering
Last updated on Oct 18, 2020
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
2020
FOCLASA 2020 @ SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Last updated on Oct 18, 2020
COORDINATION 2020
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Last updated on Oct 18, 2020
2019
FACS 2019
Steering committee member
- International Conference on Formal Aspects of Component Software
Last updated on Oct 18, 2020
F-IDE 2019 @ FM
PC chair
- Workshop on Formal Integrated Development Environment
Last updated on Oct 18, 2020
FOCLASA 2019 @ SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Last updated on Oct 18, 2020
COORDINATION 2019
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Last updated on Oct 18, 2020
FSEN 2019
PC member
- IPM International Conference on Fundamentals of Software Engineering
Last updated on Oct 18, 2020
2018
REBLS 2018 @ SPLASH
PC member
- International Workshop on Reactive and Event-Based Languages & Systems
Last updated on Oct 18, 2020
FACS 2018
Steering committee member
- International Conference on Formal Aspects of Component Software
Last updated on Oct 18, 2020
FOCLASA 2018 @ STAF/SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Last updated on Oct 18, 2020
COORDINATION 2018
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Last updated on Oct 18, 2020
2017
FACS 2017
Local organizer and PC chair
- International Conference on Formal Aspects of Component Software
Last updated on Oct 18, 2020
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
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
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
Cite
×