-- ACM conference SAC2008, in Fortaleza (Brazil), track on geometric computing and reasoning

-- IASTED - ACST (Asian Symposium on Computational Math) 2008 National University of Singapore, Singapore.

-- 8th ASCM (Asian Symposium on Computational Math) 2007 National University of Singapore, Singapore.

-- IASTED - ACST (Advances in Computer Science and Technology) 2007

-- ACM conference SAC2007, in Seoul (Korea), track on Geometric computing and Reasoning

-- Association for Symbolic Logic, Annual meeting, 2007, Gainesville (Organizing committee)

-- 6th ADG 2006, Ponte Vedra (Spain)

-- ACM conference SAC2006, in Dijon (France)
track: "Geometric Computing and Reasoning"

-- IASTED - ACST (Advances in Computer Science and Technology) 2006

-- 7th ASCM (Asian Symposium on Computational Math) 2005 Korean Institute of Advanced Studies, Seoul.

-- 5th ADG (Automated Deduction in Geometry) 2004

-- IASTED - ACST (Advances in Computer Science and Technology) 2003

-- ISPAN (International Symposium on Parallel Algorithms and Networks) 2002
-- Workshop on Models of Parallel and Distributed Computation (in conjunction with IPDP) 2002
-- HiPC (High Performance Computing) 2002
-- ICPADS (International Conference on Parallel and Distributed Systems) 2002