Research Activities
Steering Committee Member
- IFIP TC1 (2018-)
- IFIP Technical Committee 1 (Foundations of Computer Science), national representative
- IFIP WG 1.6 (2014-)
- IFIP Working Group 1.6 (Rewriting), member
- IWC (2011-2020)
- International Workshop on Confluence, SC member
- CoCo (2011-2018)
- Confluence Competition, SC member
- LCC (2015-2017)
- International Workshop on Logic and Computational Complexity, SC member
- FSCD (2015-2016)
- International Conference on Formal Structures of Computation and Deduction, SC member
- RTA (2014-2015)
- International Conference on Rewriting Techniques and Applications, SC member
Program Committee Member
- CADE-30
- 30th International Conference on Automated Deduction
- IWC 2024
- 13th International Workshop on Confluence
- CICM 2024
- 17th Conference on Intelligent Computer Mathematics
- WRLA 2024
- 15th International Workshop on Rewriting Logic and its Applications
- LPAR-24
- 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- CADE-29
- 29th International Conference on Automated Deduction
- FSCD 2023
- 8th International Conference on Formal Structures of Computation and Deduction
- WRLA 2022
- 14th International Workshop on Rewriting Logic and its Applications
- CADE-28
- 28th International Conference on Automated Deduction
- PPL 2021
- 23rd Workshop on Programming and Programming Languages
- LPAR-23
- 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- FSCD 2020
- 5th International Conference on Formal Structures of Computation and Deduction
- WRLA 2020
- 13th International Workshop on Rewriting Logic and its Applications
- FLOPS 2020
- 15th International Symposium on Functional and Logic Programming
- PPL 2020
- 22nd Workshop on Programming and Programming Languages
- CADE-27
- 27th International Conference on Automated Deduction
- FSCD 2019
- 4th International Conference on Formal Structures of Computation and Deduction
- DICE-FOPARA 2017
- 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
- ITP 2017
- 8th International Conference on Interactive Theorem Proving
- FSCD 2016
- 1st International Conference on Formal Structures of Computation and Deduction
- IWC 2016
- 5th International Workshop on Confluence
- CADE-25
- 25th International Conference on Automated Deduction
- PEPM 2015
- Workshop on Partial Evaluation and Program Manipulation
- LCC 2015
- 16th International Workshop on Logic and Computational Complexity, co-chair
- PPL 2014
- 16th Workshop on Programming and Programming Languages
- SCSS 2014
- 6th International Symposium on Symbolic Computation in Software Science
- LPAR-19
- 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
- RTA 2013
- 24th International Conference on Rewriting Techniques and Applications
- IWC 2013
- 2nd International Workshop on Confluence, co-chair
- DCM 2013
- 9th International Workshop on Developments in Computational Models
- WST 2013
- 13th International Workshop on Termination
- RTA 2012
- 23rd International Conference on Rewriting Techniques and Applications
- IWC 2012
- 1st International Workshop on Confluence, co-chair
- WST 2012
- 12th International Workshop on Termination
- DICE 2012
- 3rd International Workshop on Developments in Implicit Complexity
Organization
- AJSW 2016
- 4th Austria - Japan Summer Workshop on Term Rewriting
- JL 2014
- 1st JAIST-LORIA Workshop
- PR 2013
- 3rd Workshop on Proof Theory and Rewriting