Conferences & Workshops

• f4ncgb: High Performance Gröbner Basis Computations in Free Algebras, CASC 2025, Dubai, November 2025.
• Algebraic Automated Theorem Proving, Effective Algebra Days, Limoges, November 2025.
• Algebraic First-Order Theorem Proving, Dynaverse Workshop on Algebraic Methods in Dynamics and Particle Physics, Saarbrücken, October 2025.
• Algebraic Circuit Verification via Local Linearization, Annual ÖMG-DMV Meeting, Linz, September 2025.
• Recent Advancements in Noncommutative Gröbner Basis Software, AADIOS @ ACA 2025, Heraklion, July 2025.
• Algebraic First-Order Theorem Proving, Conference Fachgruppe Computeralgebra, Leipzig, June 2025.
• First-order theorem proving for operator statements, Dagstuhl Seminar 24421: SAT and Interactions, Dagstuhl, October 2024.
• Short proofs of ideal membership, CASC 2024, Rennes, September 2024.
• How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse – a Case Study, CASC 2023, Havana, August 2023.
• Signature Gröbner bases in free algebras over rings, ISSAC 2023, Tromsø, July 2023.
• A semi-decision procedure for proving operator statements, AADIOS @ ACA 2023, Warsaw, July 2023.
• Automated proofs of operator statements, ILAS 2023, Madrid, June 2023
• Automated proofs of operator statements, Conference Fachgruppe Computeralgebra, Hannover, June 2023.
• Computing elements of certain form in ideals to prove properties of operators, CASC 2021, Sochi/online, September 2021.
• Automatizing proofs of properties of operators, AADIOS @ ACA 2021, online, July 2021. (Mathematica demo)

Seminars

• Noncommutative Gröbner Bases, Seminar Discrete Mathematics & Geometry, TU Berlin, September 2025.
• First-order theorem proving for operator statements, Forsyte seminar, TU Vienna, November 2024.
• Noncommutative Gröbner bases and automated proofs of operator statements, PhD defense, JKU Linz, October 2023. (open with Adobe Acrobat Reader to see the animation)
• Gröbner bases in the free algebra: Introduction & advanced topics, Séminaire Calcul Formel, Limoges, January 2023.
• Universal truth of operator statements via ideal membership, Seminar Algebra and Discrete Mathematics, JKU Linz, December 2022.
• Signature Gröbner bases, Seminar Algebra and Discrete Mathematics, JKU Linz, October 2021.
• Solving QBFs with AlphaZero, Seminar Algebra and Discrete Mathematics, online, June 2021.
• Computing noncommutative Gröbner bases and certifying operator identities, Algebraic rewriting seminar, online, April 2021.