Convocatoria para la renovación de tutores Posgrado en Ciencia e Ingeniería de la Computación PDF

Please download to get full document.

View again

All materials on our website are shared by users. If you have any questions about copyright issues, please report us to resolve them. We are always happy to assist you.
 3
 
 

Retail

  Convocatoria para la renovación de tutores Posgrado en Ciencia e Ingeniería de la Computación 2015 * SOLO REPORTAR PRODUCCIÓN DEL PERIODO AGOSTO PRESENTE * SEÑALAR CUANDO LAS ACTIVIDADES SON COMPARTIDAS
Related documents
Share
Transcript
Convocatoria para la renovación de tutores Posgrado en Ciencia e Ingeniería de la Computación 2015 * SOLO REPORTAR PRODUCCIÓN DEL PERIODO AGOSTO PRESENTE * SEÑALAR CUANDO LAS ACTIVIDADES SON COMPARTIDAS NOTA: EN LO QUE RESPECTA A ESTUDIANTES (CURSOS, TESIS Y COMITÉS TUTORALES), SOLAMENTE HE REPORTADO LO QUE HE HECHO EN ESTE POSGRADO (Soy además tutora de los posgrados en Filosofía y Filosofía de la Ciencia). Nombre Completo Adscripción Nombramiento Nivel PRIDE Nivel SNI Cursos Impartidos en la Maestría ATOCHA ALISEDA LLERA INSTITUTO DE INVESTIGACIONES FILOSÓFICAS -- UNAM INVESTIGADORA TITULAR B, TIEMPO COMPLETO, DEFINITIVA NIVEL D NIVEL III 1. Nombre del Curso: Seminario de Investigación III Semestre: Nombre del Curso: Temas Selectos de Inteligencia Artificial (Creatividad Computacional) Semestre: Nombre del Curso: Seminario de Investigación II Semestre: Nombre del Curso: Seminario de Investigación I Semestre: Material de apoyo generado 1. Título del material: Tipo de material: 2. Título del material: Tipo de material: Graduación de alumnos de Maestría: Tesis terminadas 1. Título de la tesis: Deducción en Lógica Modal: Una implementación en Coq Pilar Selene Linares Arévalo Co-director: Dr. Favio Mirada Perea Generación: 2013 Fecha de obtención del grado: 29 de mayo de Título de la tesis: Abducción y Lógicas No Clásicas Un Acercamiento desde las Lógicas Adaptativas y la Lógica Modal Laura Alicia Leónides Jiménez Generación: 2009 Fecha de obtención del grado: 25 de Marzo de 2011 Graduación de alumnos de Maestría: Tesis en proceso 1. Título de la tesis: Generación: 2013 Porcentaje de avance: Graduación de alumnos de Doctorado: Tesis terminadas 1. Título de la tesis: Generación: Fecha de obtención del grado: 2. Título de la tesis: Generación: Fecha de obtención del grado: Graduación de alumnos de doctorado: Tesis en proceso 1. Título de la tesis: Generación: Porcentaje de avance: 2. Título de la tesis: Generación: Porcentaje de avance: o profesional: Artículos publicados en revistas indexadas 1. Título del artículo: A Conditional Logic for Abduction Beirlaen, M. y Aliseda, A Revista: Synthese, Springer Fecha de publicación: 5 de junio de Título del artículo: Hypothesis Testing in Adaptive Logics: An Application to Medical Diagnosis Aliseda, A. y Leonides, L Revista: Logic Journal of the IGPL (Interest Group in Pure and Applied Logics) Fecha de publicación: Abril de 2013 Nota: La coautora es egresada de la Maestría en Ciencia e Ingeniería de la Computación (generación 2011) 3. Título del artículo: Relaciones entre lógica y topología: Un espacio compacto, Hausdorff y totalmente disconexo Aliseda, A. (ed). Amor, José Alfredo Revista: Miscelánea Matemática, Revista de la Sociedad Matemática Mexicana Fecha de publicación: Julio de 2013 o profesional: Artículos publicados en revistas no indexadas 1. Título del artículo: Inteligencia Mecánica? La pregunta de Alan Turing Revista: CIENCIA. Revista de la Academia Mexicana de Ciencias Fecha de publicación: Título del artículo: Revista: Fecha de publicación: o profesional: Artículos publicados en congresos/conferencias 1. Título: How to prove it in Natural Deduction: A Tactical Approach Autor (es): Miranda-Perea, F.E., Linares-Arevalo, P.S., Aliseda, A Conferencia: Proceedings of TTL 2015 (4th. International Conference on Tools for Teaching Logic, Rennes Francia Fechas: 9 al 12 de Junio de 2015 Nota: Trabajo conjunto con un profesor del posgrado y una egresada de la maestría (generación 2013) 2. Título: Reglas Estructurales y Lógica Conferencia: Primer Congreso Nacional de Historia y Filosofía de la Lógica y las Matemáticas Fechas: Febrero de Título: Razonamiento Ampliativo Conferencia: Seminario de Filosofía Interplanteles Azcapotzalco, Oriente y Vallejo. Colegio de Ciencias y Humanidades Fechas: Noviembre de Título: Diagnóstico Médico y Evidencia Científica Conferencia: II Coloquio Internacional de investigación del Instituto de Filosofía del CSIC. Madrid España 5. Título: La lógica como Herramienta de la Razón: El razonamiento ampliativo en la creatividad, la cognición y la inferencia Conferencia: Cátedra Gaos-Santander. Universidad Complutense de Madrid. España. 6. Título: La Lógica como Herramienta de la Razón Conferencia: IV Workshop on Argumentation. UNED, España. 7. Título: Lógica y Conocimiento. Conferencia: Departamento de Filosofía y Lógica y Filosofía de la Ciencia. Universidad de Sevilla, España 8. Título: Razonamiento Clínico y Evidencia Científica Atocha Aliseda LLera Conferencia: Grupo de investigación Epistemología y ética de la salud pública. UAB, Barcelona, España. 9. Título: Filosofía de la Medicina. Epistemología y Razonamiento Clínico Conferencia: Necesidades y problemas sociales y disciplinares a atender por profesionales egresados de un posgrado en el campo de las disciplinas filosóficas, metodológicas e instrumentales en el área de la salud. Universidad de Guadalajara. Fechas: Junio de Título: Evidencia y Diagnóstico Médico Conferencia: XIV Jornadas de Investigación Estudiantil. Centro Universitario de Ciencias de Salud Fechas: Mayo de Título: Abduction and Evidence in Medical Diagnosis Conferencia: Grupo de Filosofía Teórica. Departamento de Filosofía. Universidad de Groningen, Holanda Fechas: Abril de Título: Abduction and Hypotheses Testing in Medical Diagnosis Conferencia: Discourse and Philosophy (DIP) Colloquium, Logic and Language Group. Institute for Logic, Language and Computation (ILLC), Universidad de Amsterdam, Holanda Fechas: Abril de Título: Hypotheses Testing and Adaptive Logics Conferencia: Center for Logic and Philosophy of Science and Department of Electronics and Information Systems. Universidad de Gante, Bélgica Fechas: Abril de Título: Diagnóstico Médico y Evidencia Científica Conferencia: Inauguración ciclo escolar. Centro Universitario de Ciencias Sociales y Humanidades. Universidad de Guadalajara. Fechas: Febrero de Título: Lógicas Adaptativas y Diagnóstico Médico Conferencia: IV Coloquio de Lógica, Retórica y Teoría de la Argumentación. Congreso Internacional de Filosofía Fechas: Diciembre de Título: Lógica en el Diagnóstico Médico Conferencia: Tercer Simposio Internacional de Investigación en Lógica y Argumentación (SIILA) Fechas: Diciembre de Título: Inteligencia Mecánica? La pregunta de Alan Turing Conferencia: Segundo Coloquio Internacional de Ciencias Cognitivas en las Ciencias y las Humanidades. UAEM. Fechas: Noviembre de Título: Lógica y Diagnóstico Médico Conferencia: Seminario REPORTA Fechas: Mayo de Título: Razonamiento Abductivo en el Diagnóstico Médico Conferencia: Sesión Académica en el Programa de Formación de Profesores Fechas: Mayo de Título: El Papel de las hipótesis en lógicas adaptativas: Una aplicación en diagnóstico médico Conferencia: Seminario de Investigadores del IIF, UNAM Fechas: Abril de 2013 21. Título: Abducción y Evidencia en el Diagnóstico Médico Conferencia: Taller Evidencia, Creatividad e Innovación en las Ciencias. IIF, UNAM Fechas: Abril de Título: Razonamiento Abductivo y Diagnóstico Médico Conferencia: Sesión Académica del Departamento de Informática Médica. Faculad de Medicina, UNAM. Fechas: Marzo Título: Máquinas y Descubrimiento: Una Contribución de Alan Turing Conferencia: Taller de Teoría de la Computación 2012 Fechas: Noviembre de 2012 NOTA: Evento organizado por el Posgrado (Área: computación teórica) 24. Título: La Lógica como Herramienta Congreso/Conferencia: Primer Congreso Nacional Sobre la Enseñanza de la Filosofía en la Educación Media Superior. La enseñanza de la filosofía como fundamento para una transformación social Fechas: Noviembre de Título: Propiedades Estructurales para la Inferencia Clásica Conferencia: Segundo Simposio Internacional de Investigación en Lógica y Argumentación. XV Encuentro Internacional de Didáctica de la Lógica (EIDL) Fechas: Noviembre de Título: Abductive Reasoning: Challenges Ahead Conferencia: Seventh University of Austin - UNAM Workshop Metaphysics and Epistemology in Science Fechas: Octubre de Título: Abduction and Evidence in Medical Diagnosis Conferencia: Evidence and Causality in the Sciences . Universidad de Kent Fechas: Septiembre de Título: Lógicas y Razonamientos. Cuál nos Conviene? Conferencia: Primer Congreso Estudiantil. Ciencias de la Computación. Facultad de Ciencia, UNAM. Fechas: Agosto de Título: The Role of Hypotheses in Medical Diagnosis Conferencia: Model-Based Reasoning in Science and Medicine. Theoretical and Cognitive Issues. Sestri Levante, Italia Fechas: Junio de Título: El Papel de las Hipótesis en el Diagnóstico Médico Conferencia: II Brainstorming de Epistemología, Lógica y Lenguaje (BELL). Sevilla, España Fechas: Junio de 2012 31. Título: Propiedades Estructurales para la Inferencia Clásica Conferencia: Seminario del Grupo de Lógica, Lenguaje e Información. Sevilla, España Fechas: Mayo de Título: Propiedades Estructurales para la Inferencia Clásica Conferencia: Departamento de Filosofía, Lógica y Estética, Universidad de Salamanca, España Fechas: Mayo de 2012 o profesional: Libros o profesional: Capítulos de libros 1. Título del libro: La Lógica como Herramienta de la Razón. Razonamiento Ampliativo en la Creatividad, la Cognición y la Inferencia Editorial: Cuadernos de lógica, epistemología y lenguaje, volume 6. College Publications, Reino Unido. Fecha de publicación: Mayo de Título del capítulo: Apuntes para una historia de la lógica en Iberoamérica en el siglo XX Aliseda, A. y Manzano, M. Título del libro: La Filosofía Iberoamericana en el siglo XX. Enciclopedia Iberoamericana de Filosofía Editorial: Trotta, España Fecha de publicación: En prensa o profesional: Participación en Proyectos 1. Título del proyecto: Lógicas del descubrimiento, heurística y creatividad en las ciencias Tipo de proyecto: (PAPIIT-DGAPA-UNAM IN ) Tipo de participación: Responsable de Proyecto Fechas: Enero 2014 Diciembre Título del proyecto: Lógica y Diagnóstico Médico. Tipo de proyecto: Individual Tipo de participación: Responsable de Proyecto Fechas: Enero de 2008 diciembre de Título del proyecto: Interpretaciones Alternativas de Lógicas No Clásicas (IALNoC) Tipo de proyecto: Referencia HUM Universidad de Sevilla, España Tipo de participación: Participante Fechas: Marzo de 2011 marzo de Título del proyecto: Red de Investigación, Formación y Aplicaciones de la Lógica, Lenguaje y Computación (RIFALLCO) Tipo de proyecto: Referencia FFI E España Tipo de participación: Participante Fechas: Julio de 2011 julio de 2013 o profesional: Patentes 1. Título de la patente: Fecha de solicitud/obtención: 2. Título de la patente: Fecha de solicitud/obtención: o profesional: Desarrollos tecnológicos 1. Título del desarrollo tecnológico: Tipo de desarrollo tecnológico: Tipo de participación: Fechas: 2. Título del desarrollo tecnológico: Tipo de desarrollo tecnológico: Tipo de participación: Fechas: Participación en jurados de exámenes de Maestría Participación en jurados de exámenes de Doctorado 1. Wendy Elizabeth Aguilar Martínez Cargo asignado en el jurado: Secretaria Fecha del examen de grado: 29 de mayo de Cargo asignado en el jurado: Fecha del examen de grado: 2. Cargo asignado en el jurado: Fecha del examen de grado: Participación en comités tutorales de doctorado Participación en los comités y subcomités de apoyo del Programa Participación en las actividades encomendadas por el Comité Académico 1. Pedro Arturo Góngora ( ) 2. Miguel Carrillo Barajas ( ) 3. Edgar Morales Palafox (2012 a la fecha) Examen de Candidatura: 12 de junio, Eduardo Espinosa Ávila (2010 a la fecha) 1. No me han invitado a participar en ningún comité o subcomité. Mi entidad de adscripción no es una entidad corresponsable de este posgrado. 1. No me han encomendado ninguna actividad. Entrega de las evaluaciones semestrales correspondientes en tiempos y forma. Observaciones y comentarios.
Related Search
Similar documents
View more
We Need Your Support
Thank you for visiting our website and your interest in our free products and services. We are nonprofit website to share and download documents. To the running of this website, we need your help to support us.

Thanks to everyone for your continued support.

No, Thanks