Invited Technical Talks::
-
“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.
-
“Pi-Cálculo: tan sólo una introducción”. Informatics Engineering, Engineering School Universidad Diego Portales, Santiago, Santiago, Chile, Enero 2007. Slides
-
“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 Valparaíso, Playa Ancha, Valparaíso, Chile, Agosto 2006. Slides
-
“Fundamentos: Desde Lógica Matemática hasta Diseño de Lenguajes Functionales de Programación”. Informatics Institute Universidad Austral de Chile, Valdivia, Chile, Agosto 2006. Slides
-
“Fundamentos: Desde Lógica Matemática hasta Diseño de Lenguajes Functionales de Programación”. Informatics Engineering Department Universidad de Talca, Curicó, Chile, Julio 2006. Slides
-
“Program and Symmetries.” Department of Mathematics and Computer Science Bronx Community College, Bronx, NY, USA, Marzo 2005. Slides
-
“From Foundations of Mathematics to Program Language Design.” Mathematics Department, William Paterson University, Wayne, NJ, USA, Febrero 2006. Slides
-
“Type Isomorphism and Program Isomorphism.” Mathematics Colloquium Central Connecticut State University, New Britain, CT, USA, Febrero 2005. Slides
-
“Unification and matching modulo type isomorphism.” First New York Graduate Student Logic Conference. St. Francis College, Brooklyn, NY, U.S.A., Noviembre 2004.Slides
-
“Program Transformations: Functional Programming Perspective.” Departamento de Ciencias de la Computación, Facultad de Ingenieríaa Universidad de Chile, Santiago, Chile, Agosto 2003. Slides
-
“Nominal Logic.” Facultad de Matemáticas. Pontificia Universidad Católica de Chile, Santiago, Chile, Agosto 2003.
-
“Higher Order Unification and Matching” II Encuentro de Lógica y Ciencias de la Computación. Universidad del Valle, Cali, Colombia, Julio 2002.
Please refer to the following documents for further details and complete research experiences description:: List of Publications || Contributes Talks || Outreach, Notes and Others.
© 2016 Carlos C. Martínez | Generated by webgen