[ English | Japanese ]

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

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