- Invited talk for KR Early Career Award: Computational Approaches to Reasoning in Structured Argumentation, at KR’25, Melbourne, Australia
- Reasoning in Assumption-Based Argumentation via SAT, at KR’25, Melbourne, Australia
- SAT-Based Approaches to Reasoning in Choice Logics, at ECAI’24, Santiago de Compostela, Spain
- On Computing Admissibility in ABA, at COMMA’24, Hagen, Germany
- Argumentative Reasoning in ASPIC+ under Incomplete Information, at KR’23, Rhodes, Greece
- Invited talk: Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report, at KR’23, Rhodes, Greece
- Computational Approaches to Reasoning in Structured Argumentation (thesis defense), at University of Helsinki, Finland
- Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation, at COMMA’22, Cardiff, UK
- Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism, at KR’22, Haifa, Israel
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation, at ICLP’21, online
- An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework, at KR’20, online
- Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings, at AAAI’19, Honolulu, USA
- Included both a talk and a poster presentation
- SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks, at COMMA’18, Warsaw, Poland
