IDA Tetsuo

Researcher's full information

Professional activities

2008-09 -- 2009-09		Tunisia – Japan Workshop on Symbolic Computation in Software Science (SCSS 2009)
2009-01 -- 2009-07		8th International Conference on Mathematical Knowledge Management
2009-04 -- 2010-03	Association for Computing Machinery	PC member: ACM Symposium on Applied Computing 2010
2009-04 -- 2010-03	文部科学省	科学技術政策研究所 科学技術専門家ネットワーク専門調査員
2010 -- 2010		PC member: TERMGRAPH 2011 6th International Workshop on Computing with Terms and Graphs Saarbrücken, Germany
2010 -- 2011-03		co-organizer Workshop on Logic and Computer Science at Kurt Goedel Research Center, University of Vienna
2010 -- 2011-03	Association for Computing Machinery	PC member: ACM Symposium on Applied Computing 2011