Kokichi Futatsugi Research Professor
Research Center for Software Verification
Results 1-7 of about 7
- 1. 9TH INTERNATIONAL WORKSHOP ONREWRITING LOGIC AND ITS APPLICATIONS (WRLA 2012)，Member, Steering CommitteeMember, Program Committee，2012/03/24 - 2012/03/25
- 2. The 4th International Conference on Theory and Practice of Electronic Governance (ICEGOV2010)，program committee member，2010/10/25 - 2010/10/28
- 3. 32th International Conference on Software Engineering (ICSE 2010), New Ideas and Emerging Results Track，program committee member，2010/05/02 - 2010/05/08
- 4. 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010)，program committee member，2010/03/20 - 2010/03/21
- 5. Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010)，program committee member，2010/06/23 - 2010/06/25
- 6. Journal of Higher-Order and Symbolic Computation，Advisory board member (2002.1--).
- 7. PC member of IFIP International Workshop on Formal Methods for Open Object‐based Distributed Systems, 1996,1998,2000,2002.，PC member of IFIP International Workshop on Formal Methods for Open Object‐based Distributed Systems, 1996,1998,2000,2002.