Contributed Talks::
-
“Problemas de Decisión: Desde la lógica una reflexión sobre lo indistinguible” Seminario Epistemologías y Ciencias en el Sur: Narrativas Subyacentes de la Producción de Conocimiento en la Universidad, Universidad De Los Lagos, Osorno, Junio 2015.
-
“Decidibilidad de la igualdad de términos en el cálculo lambda bajo isomorfismos de tipos” XXVII Jornada de Matemática de la Zona Sur, Universidad Católica de Temuco, Temuco, 2014.
-
“Type Isomorphism and Program Isomorphism.” AMS-MAA Joint Mathematics Meeting. San Antonio, TX, U.S.A., Enero 2006. Slides
-
“Unification and Matching Modulo Type Isomorphism.” AMS-MAA Joint Mathematics Meeting. Atlanta, GA, U.S.A., Enero 2005. Slides
-
“Provable Isomorphism of type.” Computer Science Seminar. Wesleyan University, Middletown, CT, U.S.A., Noviember 2004. Slides
-
“Type Isomorphism: Efficient Algorithms.” Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., Abril 2004. Slides
-
“Higher Order Matching in Simply Typed Lambda Calculus.” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., Octubre 2002.
-
“Complexity in Logical Design of Circuits.” Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., Abril 2001.
-
“Quantum Logic interpreted as S4 Logic.” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., Octubre 2000.
-
“Algorithmic Number Theory: Greatest Common Divisor, Efficient Algorithms. Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., Abril 2000.
-
“A brief overview of Algebraizability” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., Octubre 1999.
-
“Bimodal Logics Algebrizaibles” and “Commutation Lemma “ join with Guillermo Ortiz R. XI Simposio Latinoamericano de Lógica Matemática. Universidad de los Andes, Mérida, Venezuela, Julio 1998.
Please refer to the following documents for further details and complete research experiences description:: List of Publications || Invated Talks || Outreach, Notes and Others.
© 2016 Carlos C. Martínez | Generated by webgen