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.