Programme committees

• EXPRESS/SOS 2024 (EXPRESS/SOS, 09/09/2024 — 09/09/2024)
• ECOOP 2024 (ECOOP24, 16/09/2024 — 20/09/2024)
• ICTCS 2024 (ICTCS24, 11/09/2024 — 13/09/2024)
• First International Workshop on Formal Methods for Business Process Management (FM-BPM, 11/09/2023 — 11/09/2023)
• 25nd International Conference on Coordination Models and Languages (COORDINATION 2023, 19/06/2023 — 23/06/2023)
• 19th International Conference on Formal Aspects of Component Software (FACS2023, 19/10/2023 — 23/10/2023)
• 14th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES23, 22/04/2023 — 22/04/2023)
• FM2023 (FM2023, 6/03/2023 — 10/03/2023)
• 23rd Italian Conference on Theoretical Computer Science (ICTCS2022, 7/09/2022 — 9/09/2022)
• 18th International Conference on Formal Aspects of Component Software (FACS2022, 10/09/2022 — 11/09/2022)
• 24nd International Conference on Coordination Models and Languages (COORDINATION 2022, 13/06/2022 — 17/06/2022)
• International Workshop on Model-Driven Engineering for Software Architecture (MDE4SA2021, 15/5/2020 — 17/09/2021)
• AGERE! Workshop on programming systems, languages and applications based on actors (AGERE 2021, 22/04/2021 — 22/04/2021)
• 22nd International Conference on Coordination Models and Languages (COORDINATION 2020, 15/06/2020 — 19/06/2020)
• 17th International workshop on Coordination and Self-Adaptativeness of Software Applications, September 17 (Associated with SEFM 2019) (FOCLASA 2019, 17/09/2019 — 17/09/2019)
• Erlang Workshop, 18th ACM SIGPLAN Erlang Workshop (EW 2019, 18/08/2019 — 18/08/2019)
• 10th International conferenze on Reversible Computation (RC 2018, 12/09/2018 — 14/09/2018)
• doctoral symposium of ESOCC (DS-ESOCC 2018, 12/09/2018 — 14/09/2018)
• 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018, 16/07/2018 — 20/07/2018)
• 16th International workshop on Coordination and Self-Adaptativeness of Software Applications (Associated with SEFM) (FOCLASA 2018, 26/06/2018 — 26/06/2018)
• doctoral symposium or ESOCC (DS-ESOCC 2017, 27/09/2017 — 29/09/2017)
• 2nd International workshop on Pre- and Post- Deployment Verification Techniques (PrePost 2017, 19/09/2017 — 19/09/2017)
• 19th International Conference on Coordination Models and Languages (COORDINATION 2017, 19/06/2017 — 21/06/2017)
• 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2017, 06/03/2017 — 07/03/2017)
• doctoral symposium di ESOCC (DS-ESOCC 2016, 05/09/2016 — 07/09/2016)
• International Symposium on Mathematical Foundations of Computer Science (MFCS 2016, 22/08/2016 — 26/08/2016)
• 10th International Web Rule Symposium (RuleML 2016, 06/07/2016 — 09/07/2016)
• 12th International Workshop on Automated Specification and Verification of Web Systems (WWV 2016, 26/06/2016 — 26/06/2016)
• 9th Interaction and Concurrency Experience (ICE 2016, 21/06/2016 — 21/06/2016)
• 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016, 06/06/2016 — 09/06/2016)
• 20th International Conference on Coordination Models and Languages (COORDINATION 2016, 06/06/2016 — 09/06/2016)
• 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016, 17/02/2016 — 19/02/2016)
• doctoral symposium of ESOCC (DS-ESOCC 2015, 15/09/2015 — 17/09/2015)
• 5th International Symposium on Trustworthly Global Computing (TGC 2015, 31/08/2015 — 01/09/2015)
• 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015, 23/06/2015 — 23/06/2015)
• 8th Interaction and Concurrency Experience (ICE 2015, 04/06/2015 — 05/06/2015)
• 19th International Conference on Coordination Models and Languages (COORDINATION 2015, 02/06/2015 — 05/06/2015)
• 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014, 17/09/2014 — 20/09/2014)
• 11th International Workshop on Web Services, Formal Methods, and Behavioral Types (WS-FM:FASOCC 2014, 11/09/2014 — 12/09/2014)
• 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014, 21/07/2014 — 25/07/2014)
• 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014, 18/07/2014 — 18/07/2014)
• 7th Interaction and Concurrency Experience (ICE 2014, 06/06/2014 — 06/06/2014)
• 18th International Conference on Coordination Models and Languages (COORDINATION 2014, 03/06/2014 — 06/06/2014)
• 10th International Workshop on International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM 2013, 29-08-2013 — 30/08/2013)
• 4th International Symposium on Trustworthly Global Computing (TGC 2013, 30/08/2013 — 31/08/2013)
• 4th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2013, 01/07/2013 — 05/07/2013)
• 6th Interaction and Concurrency Experience (ICE 2013, 06/06/2013 — 06/06/2013)
• 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013, 06/06/2013 — 06/06/2013)
• 17th International Conference on Coordination Models and Languages (COORDINATION 2013, 03-06-2013 — 05/06/2013)
• 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012, 16/06/2012 — 16/06/2012)
• 5th Interaction and Concurrency Experience (ICE 2012, 16/06/2012 — 16/06/2012)
• 8th International Symposium on Formal Aspects of Component Software (FACS 2011, 14/09/2011 — 16/09/2011)
• 10th International workshop on Coordination and Self-Adaptativeness of Software Applications (FOCLASA 2011, 10/09/2011 — 10/09/2011)
• 5th International Symposium on Trustworthly Global Computing (TGC 2011, 09/09/2011 — 10/09/2011)
• 4th Interaction and Concurrency Experience (ICE 2011, 09/06/2011 — 09/06/2011)
• 10th International Workshop on Graph-Transformations and Visual Modeling Techniques (GT-VMT 2011, 02/04/2011 — 03/04/2011)
• 8th International workshop on Coordination and Self-Adaptativeness of Software Applications (Associated with CONCUR) (FOCLASA 2010, 05/09/2010 — 05/09/2010)
• 3rd Interaction and Concurrency Experience (ICE 2010, 10/06/2010 — 10/06/2010)
• 5th International Symposium on Trustworthly Global Computing (TGC 2010, 24/02/2010 — 26/02/2010)
• 5th International Symposium on Formal Aspects of Component Software (FACS 2008, 14/09/2008 — 16/09/2008)
• 4th International Conference on Graph Transformation (ICGT 2008, 07/09/2008 — 13/09-2008)
• WS-FM 2008, 5th International Workshop on Web Services and Formal Methods (WSFM 2008, 04/09/2008 — 05/09/2008)