IDA Tetsuo

Researcher's full information

Professional activities

2010 -- (current)	文部科学省	科学技術政策研究所 科学技術専門家ネットワーク専門調査員
2010 -- 2010		PC Chair, SYNASC 2010 (12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing)
2008-08 -- 2008-08	日本学術振興会	ひらめき☆ときめきサイエンス～ようこそ大学の研究室へ～KAKENHI 研究成果の社会還元・普及事業　日本学術振興会
2008-01 -- 2008-07		19th International Conference on Rewriting Techniques and Applications(RTA 2008) PC member
2008-03 -- 2008-09		0th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC2008) PC member
2008-01 -- 2009-07		18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009) PC member
2008-05 -- 2009-03	Association for Computing Machinery	24th Annual ACM Symposium on Applied
2008-11 -- 2009-04		6th Asian Workshop on Foundations of Software (AWFS 2009) Workshop Chair
2008-11 -- 2009-06		4th Logical and Semantic Frameworks, with Applications (LSFA 2009) PC member
-- (current)		Frontiers of Computer Science Editor
more...