HCVS 2023 Horn Clauses for Verification and Synthesis
TACAS 2023 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SPIN 2023 29th International Symposium on Model Checking of Software
FMCAD 2022 Formal Methods in Computer-Aided Design
FLoC 2022 Federated Logic Conference 2022
CAV 2022 34th International Conference on Computer-Aided Verification
CAV-AE22 CAV Artifact Evaluation 2022
HCVS-2022 Horn Clauses for Verification and Synthesis
TACAS 2022 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FMCAD 2021 Formal Methods in Computer-Aided Design 2021
VSTTE21 Working Conference on Verified Software: Theories, Tools, and Experiments
SMT 2021 19th International Workshop on Satisfiability Modulo Theories
CAV2021 33rd International Conference on Computer-Aided Verification
SAS 2020 Static Analysis Symposium 2020
FMCAD 2020 Formal Methods in Computer Aided Design
SAT2020 The 23nd International Conference on Theory and Applications of Satisfiability Testing
LPAR23 LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SMT2020 The 18th International Workshop on Satisfiability Modulo Theories
CAV 2020 32nd International Conference on Computer Aided Verification
HCVS 2020 7th Workshop on Horn Clauses for Verification and Synthesis
TACAS 2021 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI 2020 21st International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI2020-AE 21st International Conference on Verification, Model Checking, and Abstract Interpretation (Artifact Evaluation)
MARS2020 MARS 2020 (4th Workshop on Models for Formal Analysis of Real Systems)
MEMOCODE 2019 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
SMT 2019 17th International Workshop on Satisfiability Modulo Theories
FMCAD 2019 Formal Methods in Computer-Aided Design 2019
ANDREI-60 Automated New-era Deductive Reasoning Event in Iberia
VSTTE 2019 Verified Software: Theories, Tools and Experiments 2019
ETAPS 2019 PS ETAPS 2019 Poster session
SAT 2019 The 22st International Conference on Theory and Applications of Satisfiability Testing
TACAS 2019 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
NFM 2019 Eleventh NASA Formal Methods Symposium
TACAS 2020 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
LPAR-22 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
FM 2019 23rd International Symposium on Formal Methods
CAV 2019 31st International Conference on Computer Aided Verification
VSTTE 2018 10th Working Conference on Verified Software: Theories, Tools, and Experiments
FMCAD 2018 Formal Methods in Computer Aided Design 2018
FLoC 2018 Federated Logic Conference 2018
ATVA 2018 International Symposium on Automated Technology for Verification and Analysis
CAV2018 30th International Conference on Computer Aided Verification
FM 2018 FM 2018: 22nd International Symposium on Formal Methods
TACAS 2018 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
HVC17 Haifa Verification Conference
CAV 2008 20th International Conference on Computer Aided Verification
CSR-2008 3rd International Computer Science Symposium in Russia
WING-JSC 2010 WING JSC 2010 Journal
FMCAD17 Formal Methods in Computer Aided Design 2017
SAT 2017 20th International Conference on Theory and Applications of Satisfiability Testing
SMT2017 15th International Workshop on Satisfiability Modulo Theories
CADE 26 26th International Conference on Automated Deduction
TACAS 2017 23' International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2016 14'International Symposium on Automated Technology for Verification and Analysis
FMCAD 2016 Formal Methods in Computer-Aided Design 2016
CAVAEC-16 Artifact Evaluation Committee for the 28th Conference on Computer Aided Verification (CAV)
SMT2016 14th International Workshop on Satisfiability Modulo Theories
SAT 2016 19th International Conference on Theory and Applications of Satisfiability Testing
VSTTE 2016 8th Working Conference on Verified Software: Theories, Tools, and Experiments
FM 2016 21st International Symposium on Formal Methods
FASE 2016 19th International Conference on Fundamental Approaches to Software Engineering
HCVS-2016
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): Paris, FR (2023 | PC chair)
Verified Software: Theories, Tools, Experiments Conference (VSTTE): New Haven, US (2021 to 2021 | PC chair)
International Symposium on Satisfiability Modulo Theories: Lisbon, PT (2019 to 2019 | PC chair)
Computer-Aided Verification Conference (CAV), (together with H. Veith), 2013.
Formal Methods in Computer-Aided Design (FMCAD), (together with R. Bloem), Lugano, Switzerland, 2010.
Symposium on Software Model Checking, CMU, Pittsburgh, USA, 2005.
FSE Workshop on Specification and Verification of Component-based Systems, Helsinki, Finland, 2004.
Program Committee member
Member of IEEE Computer Society: Washington D.C., District of Columbia, US
ETAPS TACAS'16, '14, '13, '11 [International Conference on Tools and Algorithms for
the Construction and Analysis of Systems]
CAV'15, '14, '13, '10 [International Conference on Computer-Aided Verification]
FMCAD'15,
'14,
'13, '12,' 11, '10, '08 [International Conference on Formal Methods in Computer-Aided Design]
FM'15 [International Conference on Formal Methods]
NFM'15 [International Conference NASA Formal Methods]
DATE'13, '12, '11 [International Conference on Design, Automation, and Test in Europe]
GandALF'12 [International Symposium on Games, Automata, Logics and Formal Verification]
VSSTE'12 [International Conference on Verified Software: Theories, Tools and Experiments]
MEMOCODE'11, '10 [International Conference on Formal Methods and Models for Codesign]
MBT'11, '10, '09 [ETAPS Workshop on Model-Based Testing]
SVARM'11, '10 [ETAPS Workshop on Synthesis, Verification, and Analysis of Rich Models]
CSR'09 [International Computer Science Symposium in Russia]
TAP'08 [International Conference on Tests and Proofs]
SPIN'08 [International SPIN Symposium on Software Model Checking]
SAVCBS'03
-'10
[FSE
Workshop
on
Speci cation
and
Verification
of
Component-based
Systems]
Organizing Committee member
Tenth SRI Summer School, Stanford University, 2021 on Formal Techniques: Online, US (2021 to 2021 | Lecturer)
AVW’06–present, Steering Committee Member [Alpine Verification Symposium]
FMCAD’07, Tutorial chair [Formal Methods in Computer-Aided Design Conference]
SAVCBS’03–’10, Steering Committee Member [FSE Workshop on Specification and Verification of Component-based Systems]
USI-CMU Summer School, ’06–’08, Director [USI-CMU Summer School on Dependable Computer Systems]
RAS
CS Club, ’08,
’10, '12, '15 Organizer [Russian Academy of Science, Steklov Math Institute, Student Recruiting for USI (teaching and examination)]
Guest editor
Formal Methods in System Design Journal (Special Issue on Computer-Aided Verification), 2015.
IET Software Journal (Special Issue on Modeling and Analysis of Component-based Systems), 2008.
Formal Methods in System Design Journal (Special Issue on Software Verification), Vol. 25(2-3), 2005.
Invited Panelist, Verified Software: Theories, Tools, Experiments, working conference of
IFIP (the International Federation for Information Processing), specifically TC2 (the IFIP
committee on programming) and its Working Group 2.3 (Programming Methodology), ETH
Zurich, October, 2005.