Event | When | Where | Deadline | |
ICSR 2022 |
20th International Conference on Software and Systems Reuse | |
Jun 15, 2022 - Jun 17, 2022 |
Montpellier |
Jan 21, 2022 (Jan 7, 2022) |
iFM 2022 |
International Conference on integrated Formal Methods | |
Jun 7, 2022 - Jun 10, 2022 |
Lugano, Switzerland |
Jan 21, 2022 (Jan 14, 2022) |
WADT 2022 |
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 | |
Jun 28, 2022 - Jun 30, 2022 |
Aveiro, Portugal |
Apr 15, 2022 |
FACS 2022 |
18th International Conference on Formal Aspects of Component Software | |
Nov 10, 2022 - Nov 11, 2022 |
Oslo, Norway (online) |
Jul 4, 2022 (Jun 24, 2022) |
FSEN 2023 |
Fundamentals of Software Engineering | |
May 3, 2023 - May 5, 2023 |
Tehran |
Oct 14, 2022 (Oct 7, 2022) |
VERDI 2023 |
1st Workshop on Verification & Validation of Dependable Cyber-Physical Systems | |
Jun 27, 2023 - Jun 27, 2023 |
Porto, Portugal |
Apr 7, 2023 |
COORDINATION 2024 |
26th International Conference on Coordination Models and Languages | |
May 18, 2024 - May 20, 2024 |
University of Groningen, The Netherlands |
Feb 9, 2024 (Feb 2, 2024) |
VERDI 2024 |
2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems | |
Jun 24, 2024 - Jun 24, 2024 |
Brisbane, Australia |
Apr 2, 2024 |