Events co-organized by Carlo A. Furia

These are scientific events, such as conferences, that I've contributed to organizing as (co-)chair, PC member, or local organizer.

• Associate editor of the Empirical Software Engineering (EMSE) journal. Consider submitting your research there!
• PC member of the 19th International Conference on Integrated Formal Methods (iFM), Manchester, UK. 13–15 November 2024.
• Co-chair of the Doctoral Symposium of FM 2024, Milan, Italy. 9–13 September 2024.
• Program co-chair of FormaliSE 2024, the 12th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2024, Lisbon, Portugal. 14–21 April 2024.
• PC member of the NIER (New Ideas and Emerging Results) track of the 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal. 14–20 April 2024.
• PC member of TACAS 2024, the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2024, Luxembourg City, Luxembourg. 6–11 April 2024.
• PC member of the 18th International Conference on Integrated Formal Methods (iFM), Leiden, the Netherlands. 13–15 November 2023.
• PC member of the 17th International Conference on Tests & Proofs (TAP), an event of STAF 2023, Leicester, UK. 18–21 July 2023.
• PC member of EASE 2023, the 27th International Conference on Evaluation and Assessment in Software Engineering, Oulu, Finland. 14–16 June 2023.
• PC member of the NIER (New Ideas and Emerging Results) track of the 45th International Conference on Software Engineering (ICSE), Melbourne, Australia. 14–20 May 2023.
• PC member of FormaliSE 2023, the 11th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2023, Melbourne, Australia. 14–15 May 2023.
• PC member of FASE 2023, the 26th International Conference on Fundamental Approaches to Software Engineering, part of ETAPS 2023, Paris, France. 22–27 April 2023.
• PC member of the Doctoral Symposium of FM 2023, Lübeck, Germany. 6 March 2023.
• PC member of the 14th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), co-located with FMCAD in Trento, Italy. 18 October 2022.
• PC member of the 7th Workshop on Formal Integrated Development Environment (F-IDE), a workshop of SEFM 2022, Norfolk, VA, USA. 26 September 2022.
• PC member of the 16th International Conference on Tests & Proofs (TAP), an event of STAF 2022, Nantes, France. 4–8 July 2022.
• General chair of the 17th International Conference on Integrated Formal Methods (iFM), Lugano, Switzerland. 7–10 June 2022.
• PC member of FormaliSE 2022, the 10th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2022, Pittsburgh, PA, USA. 22–23 May 2022.
• PC member of the ACM Student Research Competition at ICSE 2022, Pittsburgh, PA, USA. 21–29 May 2022.
• PC member of FASE 2022, the 25th International Conference on Fundamental Approaches to Software Engineering, part of ETAPS 2022, Munich, Germany. 2–7 April 2022.
• Program co-chair of the first Software Institute Summit, Lugano, Switzerland. 17 February 2022.
• Workshop co-chair of the 24th International Symposium on Formal Methods (FM), Beijing, China. 20–26 November 2021.
• PC member of the 13th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), co-located with FMCAD at Yale University, USA. 18–19 October 2021.
• PC member of the Registered Reports Track, of IEEE ICSME 2021, Luxembourg City, Luxembourg. 27 September–1 October 2021.
• PC member of FormaliSE 2021, the 9th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2021, Madrid, Spain. 23–24 May 2021.
• PC member of the 2nd International Workshop on Automated Program Repair (APR), a workshop of ICSE 2021, Madrid, Spain. May 2021.
• PC member of the 6th Workshop on Formal Integrated Development Environment (F-IDE), a workshop of NFM 2021, Norfolk, VA, USA. 24–25 May 2021.
• General chair of the 16th International Conference on Integrated Formal Methods (iFM), Lugano, Switzerland. 16–20 November 2020.
• PC member of the Registered Reports Track, of IEEE ICSME 2020, Adelaide, Australia. 27 September–3 October 2020.
• PC member of the 12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), Los Angeles, USA. 20–21 July 2020.
• PC member of the Registered Reports Track, of MSR 2020, online, 29–30 June 2020.
• PC member of FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2020, Seoul, South Korea. 25–26 May 2020.
• PC member of the 1st Workshop on Automated Program Repair (APR), ICSE 2020, Seoul, South Korea. 26 May 2020.
• PC member of the Software Verification and Testing Track (SAC-SVT), of ACM SAC 2020, Brno, Czech Republic. 30 March 2020.
• PC member of the 15th International Conference on Integrated Formal Methods (iFM), Bergen, Norway. 2–6 December 2019.
• PC member of the 5th Workshop on Formal Integrated Development Environment (F-IDE), a workshop of FM 2019, Porto, Portugal. 7 October 2019.
• PC member of the 21st Workshop on Formal Techniques for Java-like Programs (FTfJP), a workshop of ECOOP 2019, London, UK. 15 July 2019.
• PC member of the 4th Workshop on the Design and Analysis of Robust Systems (DARS), a workshop of CAV 2019, New York, USA. 13 July 2019.
• PC member of the 12th Ershov Informatics Conference (PSI), Novosibirsk, Russia. 2–5 July 2019.
• PC member of FormaliSE 2019, the 7th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2019, Montréal, Canada. 27 May 2019.
• Co-organizer of VerifyThis 2019, a program verification competition that is part of ETAPS 2019, Prague, Czech Republic. 6–7 April 2019.
• PC member of the 1st international workshop on Empirical Answers to Questions of Software Engineering (EAQSE), Villebrumier, France. 19–21 November 2018.
• Co-chair of the 14th International Conference on Integrated Formal Methods (iFM), Maynooth, Ireland. 3–7 September 2018.
• PC member of the 4th Workshop on Formal Integrated Development Environment (F-IDE), a workshop of FM 2018, Oxford, UK. 14 July 2018.
• PC member of the 12th International Conference on Tests & Proofs (TAP), an event of STAF 2018, Toulouse, France. 29–31 June 2018.
• PC member of the 16th International Conference on Software Engineering and Formal Methods (SEFM), Toulouse, France. 27–29 June 2018.
• PC member of the ACM Student Research Competition at PLDI 2018, Philadelphia, PA, USA. 20–22 June 2018.
• PC member of FormaliSE 2018, the Conference on Formal Methods in Software Engineering co-located with ICSE 2018, Gothenburg, Sweden. 2 June 2018.
• PC member of SCORE 2018, the Student Contest on Software Engineering at ICSE 2018, Gothenburg, Sweden. 27 May–3 June 2018.
• Registration chair of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden. 27 May–3 June 2018.
• PC member of the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Fukuoka, Japan. 5–8 November 2017.
• PC member of the 13th International Conference on integrated Formal Methods (iFM), Torino, Italy. 18–22 September 2017.
• PC member of the 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), Heidelberg, Germany. 22–23 July 2017.
• PC member of the 11th International Conference on Tests & Proofs (TAP), an event of STAF 2017, Marburg, Germany. 17–21 July 2017.
• PC member of the 11th Ershov Informatics Conference (PSI), Moscow, Russia. 26–29 June 2017.
• PC member of the 39th International Conference on Software Engineering (ICSE), Buenos Aires, Argentina. 20–28 May 2017.
• PC member of the 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), Bern, Switzerland. 20–22 April 2017.
• PC member of the 3rd Workshop on Formal Integrated Development Environment (F-IDE), a satellite workshop of FM 2015, Limassol, Cyprus. 7–11 November 2016.
• PC member of the 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, UAE. 6–8 November 2016.
• PC member of the AutoProof Workshop, Toulouse, France. 1 October 2016.
• PC member of the 18th Workshop on Formal Techniques for Java-like Programs (FTfJP), a workshop of ECOOP 2016, Rome, Italy. 17–22 July 2016.
• Co-chair of the 10th International Conference on Tests & Proofs (TAP), an event of STAF 2016, Vienna, Austria. 4–8 July 2016.
• Co-chair of SCORE 2016, the Student Contest on Software Engineering at ICSE 2016, Austin, TX, USA. 14–22 May 2016.
• PC member of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS), Gold Coast, Australia. 9–12 December 2015.
• PC member of the 2nd Workshop on Formal Verification for Self-* Systems (VERY*), a workshop of SEFM 2015, York, UK. 7–8 September 2015.
• PC member of the 10th Ershov Informatics Conference (PSI), Kazan, Russia. 25–27 August 2015.
• PC member of the 4th Workshop in Synthesis (SYNT), a satellite workshop of CAV 2015, San Francisco, CA, USA. 18 July 2015.
• PC member of the 10th International Conference on Global Software Engineering, Ciudad Real, Spain. 13–16 July 2015.
• PC member of the 2nd Workshop on Formal Integrated Development Environment (F-IDE), a satellite workshop of FM 2015, Oslo, Norway. 22 June 2015.
• PC member of the 8th Interaction and Concurrency Experience (ICE 2015), a satellite workshop of DisCoTec in Grenoble, France. 5 June 2015.
• PC member of the 3rd International Conference on Model-Driven Engineering and Software Development, Angers, Loire Valley, France. 9–11 February 2015.
• PC member of the Workshop on Logics and Model-checking for Self-* Systems (MOD*), affiliated with iFM 2014, Bertinoro, Italy. 12 September 2014.
• PC member of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China. 4–7 August 2014.
• PC member of the 5th International Workshop on Invariant Generation (WING), affiliated with CAV, part of the Vienna Summer of Logic, Vienna, Austria. 23 July 2014.
• PC member of the Tool demonstrations track at the International Symposium on Software Testing and Analysis (ISSTA) 2014, Bay Area, California, USA. 21–26 July 2014.
• PC member of the 11th Annual Conference on Theory and Applications of Models of Computation (TAMC 2014), Chennai, India. 11–13 April 2014.
• PC member of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal. 7–9 January 2014.
• Co-chair of the Tool demonstrations track at the 9th joint meeting ESEC/FSE 2013, St. Petersburg, Russia. 19–23 August 2013.
• PC member of the 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), Singapore. 17–19 July 2013.
• PC member of the 19th International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, UK. 12–14 September 2012.
• PC member of the 17th International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France. 18–20 July 2012.
• Co-chair of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012). 20 May–1 June 2012, Prague, Czech Republic.
• PC member of the 5th International Conference on Tests & Proofs (TAP 2011), co-located with the TOOLS conference series in Zurich, Switzerland. 30 June–1 July 2011.
• PC member of the 16th International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, USA. 27–29 April 2011.
• PC member of the 4th International Conference on Tests & Proofs (TAP 2010), co-located with the TOOLS conference series in Malaga, Spain. 30 June–1 July 2010.
• PC member of the 3rd Interaction and Concurrency Experience (ICE 2010), co-located with the DisCoTec in Amsterdam, the Netherlands. 10 June 2010.
• PC member of the 2nd Interaction and Concurrency Experience (ICE 2009), co-located with the CONCUR in Bologna, Italy. 31 August 2009.
• PC member and organizer of the 1st Student Contest on Software Engineering (SCORE 2009), an initiative of ICSE 2009 in Vancouver, Canada. 16–24 May 2009.