Co-Organizer / Program Co-Chair Roles
- QBF Workshop 2022 at SAT 2022, part of Federated Logic Conference (FLoC) 2022
- QBF Workshop 2021 at SAT 2021
- QBF Workshop 2019 at SAT 2019
- QBF Workshop 2018 at Federated Logic Conference (FLoC) 2018
- QBF Workshop 2016 affiliated to SAT 2016
- QBF Workshop 2015 affiliated to SAT 2015
- QUANTIFY Workshop 2015 affiliated to 25th International Conference on Automated Deduction (CADE) 2015
- QBF Workshop 2014 affiliated to the SAT 2014 conference
- QUANTIFY Workshop 2014, co-founding organizer, affiliated to 7th International Joint Conference on Automated Reasoning (IJCAR) 2014
- QBF Workshop 2013, co-founding organizer, affiliated to SAT 2013 conference
- QBF Gallery 2013, co-founding organizer, affiliated to SAT 2013 conference
Program Committee Memberships and Related Professional Roles
- Auditor of the SAT Association, 2020-2023
- 25th International Conference on Theory and Applications of Satisfiability Testing (SAT) 2022
- 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI-22) 2022
- 30th International Joint Conference on Artificial Intelligence (IJCAI-21)
- 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) 2020
- 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020 Artifact Evaluation Committee
- Publication chair of Formal Methods in Computer-Aided Design (FMCAD) 2019
- 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) 2018
- Pragmatics of SAT (POS) 2018 Workshop
- 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) 2018
- 20th International Conference on Theory and Applicationsof Satisfiability Testing (SAT) 2017
- Vienna Center for Logic and Algorithms (VCLA) Awards 2015
- 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) 2014
- 16th International Conference on Theory and Applications of Satisfiability Testing (SAT) 2013
- Pragmatics of SAT (POS) 2011 Workshop
Selected Reviewing Activities
- Conferences and workshops (including PC memberships):
- International Symposium on Mathematical Foundations of Computer Science (MFCS): 2021
- International Colloquium on Automata, Languages and Programming (ICALP): 2019, 2021
- Innovations in Theoretical Computer Science (ITCS): 2018
- International Conference on Theory and Applications of Satisfiability Testing (SAT): 2022, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2011, 2010, 2009
- International Conference on Automated Deduction (CADE): 2017
- International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR): 2017
- International Joint Conference on Artificial Intelligence (IJCAI): 2021, 2018, 2016, 2013
- Symposium on Theoretical Aspects of Computer Science (STACS): 2020, 2015
- International Conference on Agents and Artificial Intelligence (ICAART): 2014
- International Conference on Principles and Practice of Constraint Programming (CP): 2013
- International Conference on Formal Methods in Computer-Aided Design (FMCAD): 2022, 2011, 2008
- Pragmatics of SAT Workshop: 2018, 2011, 2010
- International Conference on Tests and Proofs : 2011
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2020 (Artifact Evaluation Committee Member), 2011 (reviewer)
- Design, Automation, and Test in Europe (DATE): 2011, 2010, 2009
- International Symposium on Symbolic and Algebraic Computation (ISSAC): 2010
- Journals: