Carbon formation on Ni/gamma-Al2O3 catalysts and its kinetics during methane reforming with carbon dioxide was studied in the temperature range of 500-700 degrees C using a thermogravimetric analysis technique. The activation energies of methane cracking, carbon gasification in CO2, as well as carbon deposition in CO2-CH4 reforming were obtained. The results show that the activation energy for carbon gasification is larger than that of carbon formation in methane cracking and that the activation energy of coking in CO2-CH4 reforming is also larger than that of methane decomposition to carbon. The dependencies of coking rate on partial pressures of CH4 and CO2 indicate that methane decomposition is the main route for carbon deposition. A mechanism and kinetic model for carbon deposition is proposed.