Conferencias impartidas por invitación

He impartido las conferencias siguientes en congresos, simposios o seminarios a invitación expresa de los organizadores. El formato de presentación es (Evento, Organizador, Conferencia impartida).



1. Oct-2016: Encuentro de Egresados Distinguidos, ESFM-IPN. ``Comunicaciones con protocolos de tipo cuántico''.



2. Oct-2016: QuantumFest 2016, UPIITA-IPN. ``Embeddings of spaces of quregisters into special linear groups''.



3. Mar-2016: Seminario del Laboratorio de Cómputo Científico, Facultad de Ciencias, UNAM. ``Cómputo cuántico formulado como álgebras tensoriales''.



4. Nov-2014: 9-th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR'2014, November 5-7, Valle de Bravo, Mexico, Mexico. ``Automatic reasoning within jurisprudence reasoning in the Mexican Commercial Law ''
http://sc.uaemex.mx/lanmr/



5. Nov-2012: Taller Anual de Teoría de la Computación, 2012 Año de Turing, Postgrado en Computación, UNAM. ``Números computables y números normales'',
http://www.matem.unam.mx/rajsbaum/taller_teoria_2012/Taller_de_Teoriia_de_la_Computacion_2010.html



6. Octubre-2012: ``Aplicaciones en Criptografía de la Teoría de Números'', XLV Congreso de la Sociedad Matemática Mexicana, Querétaro, México.



7. Jun-2012: Coloquio Alan Turing, de las computadoras a la vida, del 2012-06-26 al 2012-06-28 Auditorios del CEIICH, UNAM, Torre II de Humanidades 4 piso, circuito Interior, Ciudad Universitaria. ``Criptología en la Segunda Guerra Mundial'',
http://www.ceiich.unam.mx/0/60EncFic.php?y=2012&m=06&d=26



8. Octubre-2011: ``Cómputo cuántico'', XLIV Congreso de la Sociedad Matemática Mexicana, San Luis Potosí, México.



9. Septiembre-2011: ``Computer Science Department'', Joint Workshop Cinvestav-Université de Maine, Le Mans, Francia.



10. Mayo-2011: Sergio Pérez, Guillermo Morales-Luna, Feliú Sagols, ``Grupos de Coxeter: Sistemas algebraicos de evolución explosiva'', International Seminar on Applied Analysis, Evolution Equations and Control, Universidad Autónoma Metropolitana, México.



11. Abril-2011: ``Cómputo cuántico y Teoría de Control'', Universidad Autónoma Metropolitana, Azcapotzalco, México.



12. William de la Cruz de los Santos, Guillermo Morales-Luna, ``Efficient construction of Hamiltonian operators fro adiabatic quantum computation of SAT'', Cuarta Reunión de la División de Información Cuántica de la SMF, Querétaro, Mexico, 28 al 30 de abril, 2011



13. Mayo-2010: ``Sintaxis y Semántica: De la lógica hacial el teatro'', Seminario Multidisciplinario de la Creación Escénica Teatral FFyL UNAM, http://semucett.wordpress.com/conferencias/ . Texto disponible en http://delta.cs.cinvestav.mx/ gmorales/teatro/



14. Jun-2009: ``Coloquio Departamental del Departamento de Física'', Cinvestav-IPN. ``Comunicaciones con protocolos de tipo cuántico''.



15. Jun-2009: ``3-a Jornada de Lógica ``Alejandro Reyes Cristiani'' '', Benemérita Universidad Autónoma de Puebla. ``Teorema de Kochen-Specker''.



16. Oct-2008: ``Actualidad de las Matemáticas Aplicadas'', Instituto Tecnológico de Querétaro y Cinvestav-IPN. ``Criptografía: Seguridad de la Información''. http://www.itq.edu.mx/ama2008/index.html



17. Jul-2008: ``Seminario Ciencias y Tecnologías de la Información'', Universidad Autónoma Metropolitana. ``Parallel implementation in an MPI environment of Walsh transform''.



18. Jun-2008: ``Jornada de códigos, criptografía, seguridad informática y áreas relacionadas'', Universidad Autónoma Metropolitana. ``Cifrado basado en la identidad con tarjetas de circuito integrado''.



19. May-2008: ``Seminario Cap. Est. Cs. Comp. UAM-Iztapalapa'', Universidad Autónoma Metropolitana. ``Cómputo cuántico''.



20. Abr-2008: ``2-o Encuentro Nacional de Epistemología y Matemáticas'', Universidad Autónoma de Zacatecas. ``El teorema de Kochen-Specker''.



21. Abr-2008: ``2-o Encuentro Nacional de Epistemología y Matemáticas'', Universidad Autónoma de Zacatecas. ``Los teoremas de Gödel''.



22. Oct-2007: Centro Universitario de Ixtlahuaca incorporado a la UAEM. ``Teoría de la Complejidad'' y ``Esteganografía''.



23. Sep-2007: ``Latin-American Non-Monotonic Reasoning Conference 07'', Benemérita Universidad Autónoma de Puebla. ``Security Protocols and Paraconsistent Logic''.



24. May-2007: ``2-da Jornada de Lógica 'Alejandro Reyes Cristiani' '', Benemérita Universidad Autónoma de Puebla. ``Un poco de la lógica en la Nueva España''.
http://delta.cs.cinvestav.mx/~gmorales/jesgml/jesgml.html



25. Feb-2007: ``6-th International Workshop in Applied Category Theory & Graph-Operad-Logic'', International Society of Science, Culture and Arts A. C., Ixtapa, Guerrero. ``A brief introduction to Clifford Algebras''.



26. Feb-2007: ``Primer Foro de Becarios del XVI Verano de la Investigación Científica'', Unidad Académica Profesional Valle de Chalco, Universidad Autónoma del Estado de México. ``Experiencias y retos de la investigación en Ciencias de la Computación''



27. Oct-2006: ``XXXIX Congreso Nacional de la Sociedad Matemática Mexicana'', SMM. Villahermosa, Tabasco. ``Computación Cuántica y Álgebras de Clifford''



28. Jun-2006: ``Séptimo Coloquio Nacional de Códigos, Criptografía y Areas Relacionadas'', Facultad de Ciencias, Universidad Autónoma del Estado de México. ``'', en colaboración con Emilio Rafael Espinosa.



29. Jun-2006: ``Séptimo Coloquio Nacional de Códigos, Criptografía y Areas Relacionadas'', Facultad de Ciencias, Universidad Autónoma del Estado de México. ``Localización de Funciones Booleanas Balanceadas de Máxima No-Linealidad'', en colaboración con Daniel López-Fernández.



30. Jun-2006: ``Séptimo Coloquio Nacional de Códigos, Criptografía y Areas Relacionadas'', Facultad de Ciencias, Universidad Autónoma del Estado de México. ``Contando Enteros con Representaciones Signadas Cortas'', en colaboración con José de Jesús Angel Angel.



31. May-2006: Universidad del Valle de México, México, D.F.. ``Criptografía: Seguridad en Información''.



32. May-2006: Fifth International Workshop ``Applied Category Theory Graph-Operad-Logic'', International Society of Science, Culture and Arts, A.C., Mérida, Yucatán. ``Introductory Course to Quantum Computing''.



33. Abr-2006: ``Primer Coloquio Internacional: Tendencias Actuales de Cómputo e Informática'', Unidad Académica Profesional Valle de Chalco, Universidad Autónoma del Estado de México. ``Computación Cuántica''



34. Abr-2006: ``Primer Coloquio Internacional: Tendencias Actuales de Cómputo e Informática'', Unidad Académica Profesional Valle de Chalco, Universidad Autónoma del Estado de México. ``Opciones de posgrado en cómputo del Cinvestav''



35. Spt-2005: ``Correctness automatic proving of security protocols using Indeed'', Técnicas de Deducción y Razonamiento Automático (dentro del Encuentro Internacional de Ciencias de la Computación).



36. Abr-2005: ``Seguridad de la Información'', Ciclo de Conferencias y Exposiciones CECEC 2005, ESIME Culhuacán.



37. Feb-2005: ``Bases Algorítmicas de Computación Cuántica'', Seminario de Investigación, CIC-IPN.



38. 24 de noviembre de 2004, Global Development Learning Network. GDLN y Universidad de Los Andes, DLC, Colombia. Teleconferencia con el tema ``La Mecánica Cuántica y el Desarrollo de las Tecnologías de la Información''. Expositores: Dr. Alvaro Francisco Huertas Rosero, Dr. Guillermo Morales Luna, Dr. Carlos Saavedra, Dr. Andrés Sicard. Instituciones receptoras: Universidad EAFIT (Colombia), Universidad de los Andes (Colombia), Universidad de Concepción (Chile), Instituto Politécnico Nacional (México)



39. Jun-2004: ``Sexto Coloquio Nacional de Códigos, Criptografía y Areas Relacionadas'', UAM-Iztapalapa. ``Comportacmiento del Protocolo de Seguridad IPSec en un escenario 6to4'', en colaboración con Emilio Rafael Espinosa y Axel Moreno Cervantes.



40. Jun-2004: ``Sexto Coloquio Nacional de Códigos, Criptografía y Areas Relacionadas'', UAM-Iztapalapa. ``Generación Aleatoria de Matroides Representables'', en colaboración con Leonor Vázquez González.



41. Feb-2004: ``Coloquio Departamental'', Departamento de Física, CINVESTAV-IPN. ``Bases algorítmicas de la Computación Cuántica''



42. Oct-2003: ``XXXVI Congreso Nacional de la Sociedad Matemática Mexicana'', Pachuca, Hgo. ``Criptografía: Seguridad de la Información''



43. Oct-2003: ``Seminario Departamental'', Departamento de Ingeniaría Eléctrica, CINVESTAV-IPN, ``A glimpse to Boolean functions distribution''.



44. Feb-2003: ``Lógica y Probabilidad'', Maestría en Ciencias Computacionales del Instituto Tecnológico de Estudios Superiores de Monterrey, Campus Estado de México, ``Introducción a la Lógica Difusa''.



45. Ene-2003: ``Tercera Semana de la Computación en Ciencias'', Universidad Nacional Autónoma de México, ``Teoría de la Computación''.



46. Dic-1999. ``Internet y sus aplicaciones''. Instituto Tecnológico de Acapulco: ``Criptografía''



47. Nov-1999. ``Séptimas jornadas de investigación''. Universidad La Salle: ``Lógica, deducción automática e inteligencia artificial''



48. Nov-1999. ``Quinta Semana de Computación''. Benemérita Universidad Autónoma de Puebla: ``Teoría de la Computación: Perspectivas de empleo y desarrollo''



49. Nov-1999. ``Décima Semana Nacional de Ingeniería Electrónica''. Instituto Tecnológico de Orizaba: ``Onduletas''



50. Nov-1998. ``ACCOTA-98: Aspectos Combinatorios y Computacionales de Optimización, Topología y Algebra, (Combinatorial and Computational Aspects of Optimization, Topology and Algebra)'', Oaxaca, Oax., México, November 29 - December 4 1998. ``Several approaches to the assignment problem in distributed systems''.



51. Jul-1998. ``Evento conmemorativo del XXV aniversario del Colegio de Computación'', Benemérita Universidad Autónoma de Puebla. ``Teoría de la computación''.



52. Nov-1997. ``Quinto simposio de Sistemas Computacionales'', Licenciatura en Sistemas Computacionales, Universidad de Las Américas. ``Inteligencia Artificial''.



53. Sep-1997: ``Primer seminario sobre nuevas formas para el manejo de la incertidumbre'', Departamento de Producción Económica, Universidad Autónoma Metropolitana-Xochimilco. ``Modelos de razonamiento con incertidumbres''.



54. Feb-1997. Departamento de Ingeniería en Sistemas Computacionales, Universidad de Las Américas. ``Problemas combinatorios indemostrables en la Aritmética de Peano''.



55. Dic-1996. Minisemester in Logic, Algebra and Computer Science dedicated to the Memory of Prof. Helena Rasiowa. Warsaw, Poland. ``Programming on Horn clauses with back and forth searches''



56. Oct-1996. XXXIX Congreso Nacional de la Sociedad Matemática Mexicana. ``Problemas combinatorios indemostrables en la Aritmética de Peano''.



57. Nov-1994. Benemérita Universidad Autónoma de Puebla, en la ``Cuarta Semana de Computación'' por el XX aniversario del Colegio de Computación: ``Incompletitud lógica como no-computabilidad''



58. Sep-1994: Congreso Nacional de Ciencias Fisiológicas. Participación en el Jurado del Cuarto Concurso Nacional de Instrumentación



59. Jun-1994: Congreso Nacional de Informática. Fundación Arturo Rosenblueth y diversas empresas, asociaciones y universidades mexicanas. Participante en la Mesa Redonda: ``Etica del profesional en Informática''.



60. May-1994. Participación en el seminario ``Epistemología e Historia de la Ciencia'' de la Sección de Metodología y Teoría de la Ciencia'' con la conferencia ``Solubilidad e irresolubilidad en computación''



61. Feb-1994: Reunión Conjunta CONACYT-NSF para cooperación en Ciencias e Ingeneiría Computacionales. Universidad de Texas en El Paso. Participante en la delegación mexicana a invitación del CONACYT.



62. Dic-1993: Seminario de lógica algorítmica. Universidad de Varsovia, Polonia. ``The probabilistic hierarchy''



63. Dic-1993: Seminario de lógica e inteligencia artificial. Centro de Estudios Avanzados de Blanes, España. ``Lógica lineal''



64. Dic-1993: Seminario de lógica e inteligencia artificial. Centro de Estudios Avanzados de Blanes, España. ``Lógica intencional y lengiaje natural: Semántica de Montague''



65. Nov-1993. Universidad Autónoma de Puebla, en la Tercera Semana de Computación por el Vigésimo Aniversario de su Facultad de Ciencias FísicoMatemáticas: ``Lógica Matemática y Computación''



66. Nov-1993: Seminario sobre modelos computacionales inspirados en sistemas biológicos. Universidad Nacional Autónoma de México. ``Incompletitud de sistemas formales''



67. Oct-1993: III Semana de la Computación. Benemérita Universidad Autónoma de Puebla, México. ``Lógica matemática y Computación''.



68. Nov-1992. Petróleos Mexicanos. ``Sistemas expertos especializados en Procesos de Perforación''.



69. Ago-1992. Instituto Mexicano del Petróleo. ``Simulación Cualitativa de Procesos de Perforación''.



70. Jul-1992: Congreso Nacional de la Sociedad Mexicana de Inteligencia Artificial. Veracruz, Ver., México. ``Demostración Automática''. Cursillo tutorial impartido por invitación.



71. May-1992: VIII Seminario de la Ingeniería Eléctrica. Universidad Autónoma de Tlaxcala, México. ``Matemáticas Aplicadas y Computación''.



72. Oct-1991: EDUCOM-1991. San Diego, Calif. Particié sin ponencia representando al CINVESTAV-IPN en su calidad de miembro numerario de la Sociedad.



73. Abr-1991: Matemáticas y DNA. ESFM-IPN. México, D.F. ``Autómatas celulares y su relación con los lenguajes formales''.



74. Feb-1991. Universidad de Las Américas. ``Lógica Difusa y Conjuntos Rugosos''.



75. Feb-1991. Escuela de Ingeniería Eléctrica de la Universidad Michoacana. ``Redes Neuronales''.



76. Feb-1990. Instituto de Matemáticas. UNAM. ``Modelos de la Aritmética''.



77. Feb-1990. Depto. Ingría. Eléctrica: ``Mínimos Cuadrados y Modelos Conexionales''.



78. Feb-1990. UAM-Izt.: ``Modelos Formales de Computación''.



79. Nov-1989: Primera Semana de Ciencias Computacionales Universidad Autónoma de La Laguna, Torreón, Coah. ''Sistemas Expertos de Planeación''.



80. Nov-1989: Segundo Curso Internacional de Sistemas Expertos, Depto. de Ingeniería Eléctrica. CINVESTAV-IPN, México, D.F. ``Lógica Matemática y Sistemas Expertos''



81. Oct-1989: Segundo Congreso IEEE-Universidad La Salle IEEE Sección México. México, D.F. ``Demostración Automática de Teoremas''.



82. Sep-1989: Primer Simposium Internacional de Sistemas Computacionales, Instituto Tecnológico de Nuevo Laredo. Nuevo Laredo, Tamps. ``Sistemas Expertos y Deducción Automática''.



83. Sep-1989. ESFM del IPN: ``Algunos temas de tesis en la maestría de matemáticas aplicadas''.



84. Oct-1988: Reunión Nacional de Informática, Universidad Michoacana ``San Nicolás de Hidalgo''. Morelia, Mich. ``Mecanismos Formales de Computación.



85. Abr-1988. ITESM, Campus Toluca: ``Demostración Automática de Teoremas''.



86. Feb-1987. Dpto. de Mat. CINVESTAV IPN. ``Análisis no-estándar''.



87. Ene-1987. CONFECOM. Universidad Autónoma de Puebla. Puebla, Pue. ``Una jerarquía de problemas difíciles en Computación''



88. Nov-1986. UPIICSA IPN. ``Lógica matemática y sus relaciones con la informática''.



89. Sep-1986. Computación, CINVESTAV IPN. ``Lógica dinámica y lógica algorítmica''.



90. May-1985. Dpto. de Mat. CINVESTAV IPN. ``Funciones con crecimiento rápido''.



91. Feb-1982. E.S.F.M. del I.P.N. ``Modelos de la Aritmética de Peano''



92. Ene-1982. E.S.F.M. del I.P.N. ``Teoría de Conjuntos''.

Guillermo Morales Luna 2018-10-28