Research Activities (International conferencess)
-
International Symposium on Automated Technology for Verification and Analysis
-
20th ATVA 2022, PC (October 25-28, 2022, Beijing)
-
12th ATVA 2014, PC (November 3-7, 2014, Sydney)
-
11th ATVA 2013, PC co-chair (October 15-18, 2013, Hanoi),
-
5th ATVA 2007, PC (October 22-25, 2007, Tokyo)
-
IEEE International Conference on Research, Innovation and Vision for the
Future
- RIVF 2015, General co-chair (January 25-28, Can Tho),
- RIVF 2013, PC co-chair (November 10-12, Hanoi),
- RIVF 2012, SE track chair (February 27-March 1, Ho Chi Minh)
- RIVF 2010, PC (July 1-4, 2010, Hanoi)
- RIVF 2009, PC (July 13-17, 2009, Da Nang),
- RIVF 2008, PC (July 13-17, 2008, Ho Chi Minh),
-
IEEE International Conference on Software Engineering and Formal Methods
-
13th SEFM 2015, PC (September 7-11, York)
-
12th SEFM 2014, PC (September 1-5, Grenoble)
-
11th SEFM 2013, PC (September 25-27, Madrid)
-
10th SEFM 2012, PC (October 1-5, Thessaloniki)
-
9th SEFM 2011, PC (November, 14-18, 2011, Montevideo)
-
8th SEFM 2010, PC (September 13-18, 2010, Pisa)
-
7th SEFM 2009, PC (November 23-27, 2009, Hanoi)
-
International Conference on Knowledge and System Engineering
-
International Colloquium on Theoretical Aspects of Computing
-
ICTAC 2011, PC (August 31-September 2, 2011, Johannesburg)
-
ACM ASIAN Symposium on Partial Evaluation and Semantics-Based Program
Manipulation,
Research Activities (International workshops)
Research Activities (Domestic associations)
Further domestic rsearch activities (in Japanese) is
here.