En este articulo presentamos algunos avances de los resultados de una investigacion en curso sobre la Negociacion de Significados de la Demostracion por profesores de Calculo. El objetivo de la investigacion es analizar la negociacion de significados de la demostracion de profesores de calculo diferencial en un trabajo colaborativo. La metodologia es cualitativa bajo un enfoque fenomenologico-hermeneutico. El escenario de investigacion es un Programa de Formacion Continua dirigida a profesores de calculo para programas de ingenieria. Presentamos algunos ejemplos de pruebas pre-formales y de la utilizacion del software GeoGebra para explicaciones de teoremas, elaborados por los profesores participantes de la investigacion.