Some General Activities

• Secretary of CADE and AAR.
• From 2017 to 2018, I was one of the newsletter editors of the AAR
• Between 2014 and 2018, I was member of the Steering Committee of the SMT Workshop (elected 2014, re-elected 2016)
• Organiser of the first SAT/SMT/AR Summer School in 2016

Conferences

• PC Member of TACAS 2020
• PC Member of VSTTE 2019
• PC Member of FroCoS 2019
• PC Member of CADE-27
• External Review Committee of ECOOP 2019
• PC Member of FSEN 2019
• Chair of VSTTE 2018
• PC Member of ICECCS 2018
• PC Member of CAV 2018
• PC Member of IJCAR 2018
• PC Member of VMCAI 2018
• PC Member of SEFM 2018
• PC Member of TABLEAUX 2017
• PC Member of SYNASC 2017
• PC Member of CADE-26
• PC Member of NFM 2017
• PC Member of FSEN 2017
• PC Member of IJCAR 2016: International Joint Conference on Automated Reasoning
  27 June - 2 July, 2016, Coimbra, Portugal
• PC Member of VMCAI 2016: 17th International Conference on Verification, Model Checking, and Abstract Interpretation
  January 17-19, 2016, St. Petersburg, Florida
• PC Member of FMCAD 2015: 15th Conference on Formal Methods in Computer-Aided Design
  Austin, Texas, September 27-30, 2015
• PC Member of SYNASC 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  Timisoara, Romania, September 21-24, 2015
• PC Member of CAV 2015: The 27th International Conference on Computer Aided Verification
  San Francisco, USA, July 18-24, 2015
• PC Member of FSEN 2015: Sixth International Conference on Fundamentals of Software Engineering
  Tehran, Iran, April 22-24, 2015
• PC Member of TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  London, UK, April 13-17, 2015
• PC Member of FMCAD 2014: 14th Conference on Formal Methods in Computer-Aided Design
  Lausanne, Switzerland, October 21-24, 2014
• PC Member of SYNASC 2014: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  Timisoara, Romania, September 22-25, 2014
• PC Member of VMCAI 2014: 15th International Conference on Verification, Model Checking, and Abstract Interpretation
  January 19-21, 2014, San Diego, USA
• PC Member of FMCAD 2013: 13th Conference on Formal Methods in Computer-Aided Design
  Portland, Oregon, October 19-20, 2013
• PC Member of LPAR-19: 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
  Stellenbosch, South Africa, December 15-19, 2013
• PC Member of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  Timisoara, Romania, September 23-26, 2013
• PC Member of FroCoS 2013: International Symposium on Frontiers of Combining Systems
  Nancy, France, September 18-20, 2013
  
• PC Member of iFM 2013: 10th International Conference on integrated Formal Methods
  Turku, Finland, June 10-14, 2013
  
• PC Member of FSEN 2013: Fifth International Conference on Fundamentals of Software Engineering
  Tehran, Iran, April 24-26, 2013
• PC Member of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  Timisoara, Romania, September 26-29, 2012
• PC Member of MEMOCODE 2012: 10th ACM/IEEE International Conference on  Formal Methods and Models for Codesign
  Arlington, VA, July 16-17, 2012
  
• PC Member of LCTES 2012: Languages, Compilers, Tools and Theory for Embedded Systems
  Beijing, China, June 12-13, 2012
• PC Member of FroCoS 2011: 8th International Symposium on Frontiers of Combining Systems
  Saarbrücken, Germany, October 5-7, 2011
• PC Member of HVC 2010: Haifa Verification Conference 2010
  October 5-7, 2010
  

Workshops and other events

• PC Member of HCVS 2019
• PC Member of PERR 2019
• Jury of SV-COMP 2019
• PC Member of NWPT 2018
• PC Member of SMT 2018
• PC Member of HCVS 2018
• Chair of PAAR 2018
• PC Member of NWPT 2017
• PC Member of HCVS 2017
• Chair of HCVS 2016: Workshop on Horn Clauses for Verification and Synthesis
  Eindhoven, The Netherlands, April 3rd (part of ETAPS)
  
• PC Member of HCVS: Workshop on Horn Clauses for Verification and Synthesis
  San Francisco, USA, July 19, 2015
• PC Member of FMi 2015: 2nd IEEE International Workshop on Formal Methods Integration
  San Francisco, USA, August 2015
• PC Member of FMi 2014: 2nd IEEE International Workshop on Formal Methods Integration
  San Francisco, USA, August 13-15, 2014 (Affiliated with IRI)
• Chair of SMT 2014: 12th International Workshop on Satisfiability Modulo Theories
  Vienna, Austria, July 17-18, 2014 (Affiliated with CAV, IJCAR, and SAT at FLoC 2014)
• PC Member of HCVS: Workshop on Horn Clauses for Verification and Synthesis
  Vienna, Austria, July 17, 2014
• PC Member of WING 2014: Fifth International Workshop on Invariant Generation
  (later merged with ARW-DT and VERIFY)
• PC Member of SMT 2013: 11th International Workshop on Satisfiability Modulo Theories
  Helskinki, Finland, July 8-9, 2013 (Affiliated with SAT)
• Chair of LfSA 2012: Workshop on Logics for System Analysis
  Berkeley, CA, July 7th, 2012 (Affiliated with CAV)
  
• Chair of LfSA 2010: Workshop on Logics for System Analysis
  Edinburgh, Scotland, July 15th, 2010 (Affiliated with LICS and IJCAR at FLoC)
  
• PC Member of PAAR-2010: Workshop on Practical Aspects of Automated Reasoning
  Edinburgh, Scotland, July 14th, 2010 (Affiliated with IJCAR at FLoC)
  
• PC Member of SMT 2010: 8th International Workshop on Satisfiability Modulo Theories
  Edinburgh, Scotland, July 14-15, 2010 (Affiliated with CAV and SAT at FLoC)