José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Events
Organization and Evaluation
2021
FACS 2021
Steering committee member
- International Conference on Formal Aspects of Component Software
Oct 28, 2021 12:00 AM
COORDINATION 2021
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Jun 15, 2021 12:00 AM
F-IDE 2021 @ NFM
PC chair
- Workshop on Formal Integrated Development Environment
May 24, 2021 12:00 AM
FSEN 2021
PC member
- IPM International Conference on Fundamentals of Software Engineering
May 1, 2021 12:00 AM
TACAS 2021 @ ETAPS
Artifact evaluation committee member
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Mar 27, 2021 12:00 AM
2020
FOCLASA 2020 @ SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Sep 15, 2020 12:00 AM
COORDINATION 2020
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Jun 15, 2020 12:00 AM
2019
FACS 2019
Steering committee member
- International Conference on Formal Aspects of Component Software
Oct 23, 2019 12:00 AM
F-IDE 2019 @ FM
PC chair
- Workshop on Formal Integrated Development Environment
Oct 7, 2019 12:00 AM
FOCLASA 2019 @ SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Sep 17, 2019 12:00 AM
COORDINATION 2019
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Jun 17, 2019 12:00 AM
FSEN 2019
PC member
- IPM International Conference on Fundamentals of Software Engineering
May 1, 2019 12:00 AM
2018
REBLS 2018 @ SPLASH
PC member
- International Workshop on Reactive and Event-Based Languages & Systems
Nov 4, 2018 12:00 AM
FACS 2018
Steering committee member
- International Conference on Formal Aspects of Component Software
Oct 10, 2018 12:00 AM
FOCLASA 2018 @ STAF/SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Jun 26, 2018 12:00 AM
COORDINATION 2018
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Jun 18, 2018 12:00 AM
2017
FACS 2017
Local organizer and PC chair
- International Conference on Formal Aspects of Component Software
Oct 13, 2017 12:00 AM
FOCLASA 2017 @ SEFM
PC member
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Sep 4, 2017 12:00 AM
COORDINATION 2017
Steering committee member
- IFIP International Conference on Coordination Models and Languages
Jun 19, 2017 12:00 AM
FSEN 2017
PC member
- IPM International Conference on Fundamentals of Software Engineering
Apr 26, 2017 12:00 AM
2016
COORDINATION 2016
PC chair
- IFIP International Conference on Coordination Models and Languages
Jun 6, 2016 12:00 AM
2015
FOCLASA 2015 @ SEFM
PC Chair
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Jun 17, 2015 12:00 AM
FSEN 2015
PC member
- IPM International Conference on Fundamentals of Software Engineering
Apr 22, 2015 12:00 AM
2014
FOCLASA 2014 @ SEFM
PC Chair
- International Workshop on Coordination and Self-adaptativeness of Software Applications
Jun 17, 2014 12:00 AM
Cite
×
