Invited Technical Talks::
-
Title: “Cálculo Lambda: Desde Fundamentos de la Matemáticas hasta Lenguajes de Programación” , Coloquio Departamento de Ciencias Exactas, Universidad De Los Lagos, Chuyaca, Osorno, Región De Los Lagos, Osorno, X Región De Los Lagos, Chile, Septiembre 2011.
-
Title: “Pi-Cálculo: tan sólo una introducción”. Informatics Engineering, Engineering School Universidad Diego Portales, Santiago, Santiago, Chile, January 2007. Slides
-
Title: “Transformaciones de Programas: Una taxonomía, un punto de vista clásico y un punto de vista nuevo”. Computer Science Department, Faculty of Engineering Universidad de Valparaiso, Playa Ancha, Valparaiso, Chile, August 2006. Slides
-
Title: “Fundamentos: Desde Lógica Matemática hasta Diseño de Lenguajes Functionales de Programación”. Informatics Institute Universidad Austral de Chile, Valdivia, Chile, August 2006. Slides
-
Title: “Fundamentos: Desde Logíca Matemática hasta Diseño de Lenguajes Functionales de Programación”. Informatics Engineering Department Universidad de Talca, Curicó, Chile, July 2006. Slides
-
Title: “Program and Symmetries.” Department of Mathematics and Computer Science Bronx Community College, Bronx, NY, USA, March 2005. Slides
-
Title: “From Foundations of Mathematics to Program Language Design.” Mathematics Department, William Paterson University, Wayne, NJ, USA, February 2006. Slides
-
Title: “Type Isomorphism and Program Isomorphism.” Mathematics Colloquium Central Connecticut State University, New Britain, CT, USA, February 2005. Slides
-
Title: “Unification and matching modulo type isomorphism.” First New York Graduate Student Logic Conference. St. Francis College, Brooklyn, NY, U.S.A., November 2004.Slides
-
Title: “Program Transformations: Functional Programming Perspective.” Departamento de Ciencias de la Computación, Facultad de Ingeniería Universidad de Chile, Santiago, Chile, August 2003. Slides
-
Title: “Nominal Logic.” Facultad de Matemáticas. Pontificia Universidad Católica de Chile, Santiago, Chile, August 2003.
-
Title: “Higher Order Unification and Matching” II Encuentro de Lógica y Ciencias de la Computación. Universidad del Vallle, Cali, Colombia, July 2002.
Other Invited Talks::
-
Title: “Geometría y al Astronomía” , Inauguración Exposición ‘Noticias del Universo’, Museo Interactivo de Osorno, Osorno, Región De Los Lagos, Chile, Septiembre 2012.
-
Title: “Números y Naturaleza.” Semana de la Ciencia, Conicyt. The Mission College, Rahue Alto, Osorno, X Región De Los Lagos, Chile, Octubre 2011.
-
Title: “Ciencia con paciencia.” Inauguración Semana de la Ciencia, Conicyt. Teatro Municipal de Ancud, Ancud, X Región De Los Lagos, Chile, Octubre 2011.
-
Title: “Juegos, Estrategia y Azar.” Inauguración Muestra Juegos, Estrategia y Azar, Explora-Conicyt. Museo Iteractivo de Osorno, Osorno, X Región De Los Lagos, Chile, Agosto 2011.
-
Title: “Informática Educativa: Perspectivas desde experiencias personales”. Departamento de Matemáticas, Facultad de Ciencias, Universidad de Valparaíso, Playa Ancha, Valparaíso, Chile, August 2010. Slides
Please refer to the following documents for further details and complete research experiences description:: List of Publications || Contributes Talks || Notes and Others.
© 2012 Carlos C. Martínez | Generated by webgen