Dr. Francisco J. Cantú Ortiz
  Página personal
 
 
 
Home
 
Curriculum vitae
 
Education
 
publications
 
Theses
 
conference organizer
 
invited talks
 
editorial boards
 
grants
 
RESEARCH INTERESTS
 
Family
 
teaching
.
Invited talks

  1. A multiagent framework for diagnosing dynamic systems. Invited talk at MICAI 2002,Tthe Mexican International Conference on Artificial Intelligence, Mérida, April 2002.
2001
  1. Minería de datos: Aplicaciones y Oportunidades. Invited talk at the VI International Symposium on Computer Systems organized by the Instituto Tecnológico de Acapulco, November 28, 2001
  2. Probabilistic learning and reasoning in dynamic systems: Applications to diagnosis and control . Invited talk at CAEPIA the AI Conference organized by the Spanish Association for Artificial Intelligence, Gijón, Spain, November 16, 2001
  3. Minería de datos: Aplicaciones y Oportunidades . Invited talk, Seminario de Investigación, Departamento de Computación, ITESM Campus Ciudad de Mexico, October 10, 2001
  4. Inferencia probabilística en sistemas dinámicos con series de tiempo . Invited talk at the Research Seminar, Centro de Investigación en Computación, Instituto Politécnico Nacional, September 28, 2001
  5. Minería de Datos: Aplicaciones, Retos y Oportunidades . Invited talk at ENC-01, the International Computing Conference organized by the Mexican Society for Computer Science, September 17, 2001
  6. Estimating Conditional Probability Distributions in Dynamic Bayesian Networks: Applications to Diagnosis . Invited talk at the Computing Research Seminar, IIMAS, Universidad Nacional Autónoma de México UNAM, March 23, 2001
2000
  1. Learning and using Bayesian networks. Invited talk at the Computing International Conference, Centro de Investigación en Compuatción, Instituto Politécnico Nacional, November 16, 2000
  2. Reinforcement and Bayesian Learning in Multiagent Systems: The MACS Project. Invited talk at the Knowledge Management Group, Information Systems Department, University of Maryland Baltimore County, USA, October 26, 2000
  3. Aplicaciones de Sistemas Inteligentes. Invited talk at the Septima Semana Nacional de la Ciencia y la Tecnología, ITESM Campus Toluca, October, 2000
  4. Organizaciones inteligentes. Invited talk Primer Congreso Internacional en Sistemas Compuacionales e Informática, SEP Instituto Tecnológico de Lázaro Cárdenas, Michoacán, March 15, 2000
1999
  1. Organizaciones inteligentes. Invited talk at Quinto Simposium Internet y sus Aplicaciones, SEP Instituto Tecnológico de Acapulco, December 3, 1999
  2. Sistemas Inteligentes. Invited talk at SEP El Centro de Bachillerato Tecnológico No. 74, Semana Estatal de Computación, Ciudad Guadalupe Nuevo, León, October 22, 1999
  3. Organizaciones inteligentes. Invited talk at TIDAP 99 Tecnologías de la Información para el Desarrollo de la Administración Pública, Septiembre 28, 1999
  4. Automatización de la Lógica de Orden Superior para Verificar Circuitos. Invited talk at the Research Seminar, Centro de Investigación en Computación, Instituto Politécnico Nacional, August 27, 1999
  5. Aplicaciones Industriales de Inteligencia Artificial. Invited talk at Congreso Visión hacia la Excelencia Profesional, Universidad Don Vasco A.C., Uruapan Michoacán, May 12, 1999
  6. Aplicaciones Industriales de Inteligencia Artificial. Invited talk at the Cuarta Semana Académica de Ingeniería en Sistemas Computacionales, SEP Instituto Tecnológico de Lázaro Cárdenas, Michoacán, March 5, 1999
1998
  1. Inteligencia Artificial: Historia, Situación Actual y Perspectivas. Invited talk at Computo 98, Conferencia de Computación Universidad Nacional Autónoma de México, November 16, 1998
  2. Aplicaciones Industriales de Inteligencia Artificial en México. Invited talk Semana de Informática, SEP Instituto Tecnológico de Oaxaca, November 9, 1998
  3. Aplicaciones Industriales de Inteligencia Artificial en México. Invited talk at Primer Congreso Internacional de Sistemas Computacionales, SEP Instituto Tecnológico de Veracruz, September 4, 1998
  4. Aplicaciones Industriales de Inteligencia Artificial en México. Invited talk at the Sexto Simposium de Computación, Universidad Autónoma de Aguascalientes, March, 1998
1997
  1. Formal Methos for Hardware Verification. Invited talk at the International Symposium on Computing, Centro de Investigación en Computación, Instituto Politécnico Nacional, November 14, 1997
  2. Aplicaciones Industriales de Inteligencia Artificial. Invited talk at CONDEL 97, the VII Congreso de Electrónica, Eléctrica y Sistemas Computacionales, IEEE-ITTG and Tecnológico de Tuxtla Gutierrez, Octuber 24, 1997
  3. Aplicaciones  de la Inteligencia Artificial en la Industria Mexicana. Invited talk at Septima Semana de Sistemas e Informática, SEP Tecnológico de Morelia, Octuber 6, 1997
  4. Aplicaciones Industriales de Inteligencia Artificial. Invited talk at the II International Symposium on Automation, TECSUP, Lima Perú, Octuber 16, 1997
1996
  1. Sistemas Expertos. Invited tal a Facultad de Contaduría y Administración Publica, Universidad Autónoma de Nuevo León, June 4, 1996
  2. Aplicaciones de Inteligencia Artificial. Invited talk at El Centro de Estudios Superiores Navales Armada de México, Junio, 1996
  3. Sistemas Inteligentes en la Industria y en los Negocios. Invited talk at the Segundo Congreso Internacional de Sistemas Computacionales, Universidad de las Américas. Puebla, November 23, 1994
1995
  1. Inductive roof plans for hardware verification. Invited talk at the Mathematical Induction Workshop. Dagsthul, Germany, July, 1995
1994
  1. Aplicaciones de Inteligencia Artificial. Invited talk at the Congreso Chileno de Ciencias de la Computación. Concepción Chile, Noviembre, 1994
  2. Automatic verification of combinational circuits using inductive proof planning. Invited talk at the CLAM-INCA Workshop. Darmstadt, Germany, March 23, 1994
1993
  1. Inteligencia Artificial y Aplicaciones. Invited talk at RNIA 93, Reunión Nacional de Inteligencia Artificial, Sociedad Mexicana de Inteligencia Artificial. September, 1993
  2. Automating hardware verification using inductive proof planning. Invited talk at the Mathematical Induction Workshop, AAAI93. Washington D.C., USA, July, 1993
  3. Proof plans for hardware verification. Invited talk at the Research Seminar of the Computer Science Department, University of Saarlands. Saarbrueken, Germany, May, 1993
  4. Proof plans for hardware verification. Invited talk at the Research Seminar of the Hardware Verification Group, University of Cambridge, UK, April, 1993
1992
  1. Aplicaciones de Inteligencia Artificial. Invited talk at Congreso La Inteligencia Artificial en México, Universidad Tecnológica de la Mixteca. Mayo 15, 1992
  2. Technology transfer of AI industrial systems. Invited talk at the Computer Science Department, University of Alberta, Canada, May, 1992
  3. Artificial Intelligence Applications. Invited talk at the Computer Science Department, Texas A&M University, March, 1992
1991
  1. Human resources formation in Knowledge Engineering. Invited talk at the International Association of Knowledge Engineers meeting, Avignon, France, June, 1991
1990
  1. Aplicaciones de Sistemas Expertos. Invited talk at Tercer Simposium Internacional de Electrónica y Comunicaciones SIECOM 90, ITESM Campus Estado de México, September 13, 1990
  2. Aplicaciones de Inteligencia Artificial en México. Invited talk at the Simposium de Computación, ITESM Campus Chihuahua, May, 1990
  3. Aplicaciones de Inteligencia Artificial en México. Invited talk at the Simposium de Computación, ITESM Campus Querétaro, March 29, 1990
  4. Estrategias para la Implantación de Sistemas Expertos en las Organizaciones. Invited talk at Festival de Ingeniería TECCOMP 90, ITESM Campus Estado de México, February 27, 1990
1989
  1. Inteligencia Artificial. Invited talk Programa Suplementario de Excelencia, ITESM Campus Monterrey, September 21, 1989.
  2. Aplicaciones de Sistemas Expertos. Invited talk at Taller Andino en Sistemas Expertos, Universidad EAFIT. Medellín Colombia, August 3, 1989
  3. Software engineering applications in Macintosh environments. Invited tal at the Apple University Consortium. Woolongong, Australia, March, 1989
1988
  1. Software engineering applications in Macintosh environments. Invited tal at the Apple University Consortium. Heidelberg, Germany, March, 1988
1987
  1. MacPlan: a financial planning environnet for the Macintosh. Invited talk at the Latin American Apple University Consortium, Cupertino. California, USA, October, 1987
  2. Inteligencia Artificial. Invited talk at the Facultad de Ingeniería Mecánica y Eléctrica, Universidad Autónoma de Coahuila, Monclova, May 1987
1986
  1. Inteligencia Artificial. Invited talk Segundo Simposium Nacional de Computación Aplicada, SEP Instituto Tecnológico de Ciudad Victoria, May 14, 1986
1985
  1. Búsqueda y Razonamiento Automático. Invited talk at the Primera Reunión Mexicana de Inteligencia Artificial, ITESM, Monterrey, México, March, 1985

arriba