Professional service
Committees & editorial work
Editorial work, chairing and organization, committees and memberships, invited talks and program committees.
Editorial work
- 2010–Theoretical Computer ScienceElsevier, submissions welcomeEditorial board
- 2015STTTInternational Journal on Software Tools for Technology TransferGuest editor
- 2015LMCSLogical Methods in Computer ScienceGuest editor
Chairing & organization
- 2025FoSSaCSProceedings co-editor with Delia Kesner, ETAPS 2025PC co-chair
- 2023Uppsala Workshop on Automata, Logic and VerificationCelebrating Ahmed Bouajjani's honorary doctorate, Uppsala, January 2023Organizer
- 2023Marktoberdorf Summer SchoolSafety and Security through Formal VerificationCo-director
- 2021Marktoberdorf Summer SchoolSafety and Security through Formal VerificationCo-director
- 2017ETAPSEuropean Joint Conferences on Theory and Practice of Software, UppsalaGeneral chair
- 2016NETYSProceedings co-editor with Carole Delporte-Gallet, MarrakechPC co-chair
- 2014Dagstuhl SeminarVerification of Dynamically Evolving Graph Structures: Pointer Programs, Networks and BeyondCo-organizer
- 2013RPReachability ProblemsPC co-chair
- 2011TACASTools and Algorithms for the Construction and Analysis of SystemsPC co-chair
- 2009MCCMulticore ComputingPC chair & organizer
- 2009UPMARC Summer SchoolMulticore Computing, UppsalaOrganizer
- 2006Dagstuhl SeminarSoftware Verification: Infinite-State Model Checking and Static Program AnalysisCo-organizer
Committees & memberships
- CurrentIFIP WG 2.2Working Group on Formal Description of Programming ConceptsMember
- CurrentFoSSaCSFoundations of Software Science and Computation StructuresSteering committee
- CurrentFSTTCSFoundations of Software Technology and Theoretical Computer ScienceSteering committee
- 2016–ETAPSEuropean Joint Conferences on Theory and Practice of SoftwareSteering committee
- 2019–2023CAV Award CommitteeComputer Aided VerificationMember and chair
- 2010–2013ETAPSEuropean Joint Conferences on Theory and Practice of SoftwareSteering committee
Invited talks
- 2026ICTCSItalian Conference on Theoretical Computer Science, UdineInvited speaker
- 2025FSTTCSFoundations of Software Technology and Theoretical Computer ScienceInvited speaker
- 2023Marktoberdorf Summer SchoolSafety and Security through Formal VerificationLecturer
- 2017FMICS-AVoCSFormal Methods for Industrial Critical Systems and Automated Verification of Critical SystemsInvited speaker
- 2016MOVEPTutorial on well-quasi-ordered systems, GenoaTutorial
- 2016CAVComputer Aided VerificationTutorial
- 2011CONCUR & QESTConcurrency Theory and Quantitative Evaluation of SystemsInvited speaker
- 2010SOFSEMCurrent Trends in Theory and Practice of Computer ScienceInvited speaker
- 2009QESTQuantitative Evaluation of SystemsInvited speaker
- 2009MEMICSMathematical and Engineering Methods in Computer ScienceInvited speaker
- 2008RPReachability ProblemsInvited speaker
- 2006Isaac Newton InstituteWorkshop on Constraints and Verification, CambridgeInvited speaker
- 2005FORMATSFormal Modeling and Analysis of Timed SystemsInvited speaker
- 2001VEPASVerification of Parameterized SystemsInvited speaker
- 2000CAVComputer Aided VerificationTutorial
Program committees
- 2027POPLPrinciples of Programming LanguagesPC member
- 2026CONCURConcurrency TheoryPC member
- 2026ATVAAutomated Technology for Verification and AnalysisPC member
- 2026POPLPrinciples of Programming LanguagesPC member
- 2025VMCAIVerification, Model Checking, and Abstract InterpretationPC member
- 2025LICSLogic in Computer SciencePC member
- 2024OOPSLAObject-Oriented Programming, Systems, Languages, and ApplicationsPC member
- 2024ATVAAutomated Technology for Verification and AnalysisPC member
- 2023PLDIProgramming Language Design and ImplementationPC member
- 2023FoSSaCSFoundations of Software Science and Computation StructuresPC member
- 2023ESOPEuropean Symposium on ProgrammingPC member
- 2023CONCURConcurrency TheoryPC member
- 2023FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2023GandALFGames, Automata, Logics and Formal VerificationPC member
- 2023MFCSMathematical Foundations of Computer SciencePC member
- 2022CAVComputer Aided VerificationPC member
- 2022FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2022TACASTools and Algorithms for the Construction and Analysis of SystemsPC member
- 2021ICALPAutomata, Languages and ProgrammingPC member
- 2021POPLPrinciples of Programming LanguagesPC member
- 2021FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2020FoSSaCSFoundations of Software Science and Computation StructuresPC member
- 2019LICSLogic in Computer SciencePC member
- 2019ICALPAutomata, Languages and ProgrammingPC member
- 2019TACASTools and Algorithms for the Construction and Analysis of SystemsPC member
- 2018CONCURConcurrency TheoryPC member
- 2018MOVEPModeling and Verifying Parallel ProcessesPC member
- 2018NETYSNetworked SystemsPC member
- 2018SOFSEMCurrent Trends in Theory and Practice of Computer SciencePC member
- 2017HighlightsHighlights of Logic, Games and AutomataPC member
- 2017FCTFundamentals of Computation TheoryPC member
- 2017CSLComputer Science LogicPC member
- 2017SoICTInformation and Communication TechnologyPC member
- 2017GandALFGames, Automata, Logics and Formal VerificationPC member
- 2017NETYSNetworked SystemsPC member
- 2016CPPrinciples and Practice of Constraint ProgrammingPC member
- 2016ICALPAutomata, Languages and ProgrammingPC member
- 2016TACASTools and Algorithms for the Construction and Analysis of SystemsPC member
- 2016GandALFGames, Automata, Logics and Formal VerificationPC member
- 2016CONCURConcurrency TheoryPC member
- 2016SoICTInformation and Communication TechnologyPC member
- 2015FSTTCSFoundations of Software Technology and Theoretical Computer SciencePC member
- 2015CONCURConcurrency TheoryPC member
- 2015CIAAImplementation and Application of AutomataPC member
- 2015GandALFGames, Automata, Logics and Formal VerificationPC member
- 2015SSSStabilization, Safety and Security of Distributed SystemsPC member
- 2015NETYSNetworked SystemsPC member
- 2015SoICTInformation and Communication TechnologyPC member
- 2014FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2014GandALFGames, Automata, Logics and Formal VerificationPC member
- 2014HighlightsHighlights of Logic, Games and AutomataPC member
- 2014MCCMulticore ComputingPC member
- 2014SoICTInformation and Communication TechnologyPC member
- 2013LICSLogic in Computer SciencePC member
- 2013MFCSMathematical Foundations of Computer SciencePC member
- 2013LATALanguage and Automata Theory and ApplicationsPC member
- 2013INFINITYVerification of Infinite-State SystemsPC member
- 2013MCCMulticore ComputingPC member
- 2012FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2012MCCMulticore ComputingPC member
- 2011ATVAAutomated Technology for Verification and AnalysisPC member
- 2011RPReachability ProblemsPC member
- 2011INFINITYVerification of Infinite-State SystemsPC member
- 2011MEMICSMathematical and Engineering Methods in Computer SciencePC member
- 2010LICSLogic in Computer SciencePC member
- 2010CONCURConcurrency TheoryPC member
- 2010TACASTools and Algorithms for the Construction and Analysis of SystemsPC member
- 2010SOFSEMCurrent Trends in Theory and Practice of Computer SciencePC member
- 2010GandALFGames, Automata, Logics and Formal VerificationPC member
- 2010RPReachability ProblemsPC member
- 2010INFINITYVerification of Infinite-State SystemsPC member
- 2010MEMICSMathematical and Engineering Methods in Computer SciencePC member
- 2009CAVComputer Aided VerificationPC member
- 2009ICTACTheoretical Aspects of ComputingPC member
- 2009FoSSaCSFoundations of Software Science and Computation StructuresPC member
- 2009LATALanguage and Automata Theory and ApplicationsPC member
- 2009GAMESGames and Automata for Synthesis and ValidationPC member
- 2009RPReachability ProblemsPC member
- 2009MEMICSMathematical and Engineering Methods in Computer SciencePC member
- 2009INFINITYVerification of Infinite-State SystemsPC member
- 2009QESTQuantitative Evaluation of SystemsPC member
- 2008ICALPAutomata, Languages and ProgrammingPC member
- 2008MEMICSMathematical and Engineering Methods in Computer SciencePC member
- 2007CAVComputer Aided VerificationPC member
- 2007QESTQuantitative Evaluation of SystemsPC member
- 2007MFCSMathematical Foundations of Computer SciencePC member
- 2006CONCURConcurrency TheoryPC member
- 2006FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2006INFINITYVerification of Infinite-State SystemsPC member
- 2005FORMATSFormal Modeling and Analysis of Timed SystemsPC member
- 2004FoSSaCSFoundations of Software Science and Computation StructuresPC member
- 2002INFINITYVerification of Infinite-State SystemsPC member
- 2001LICSLogic in Computer SciencePC member
- 2000CAVComputer Aided VerificationPC member