José de Jesús Lavalle Martínez

Grupo de Investigación en Métodos Formales
Teoría de la Computación
Facultad de Ciencias de la Computación
Benemérita Universidad Autónoma de Puebla

Docencia
Albañilería
Rollos
Acreditación


Docencia:
  • The Alan Turing Year - 2012
  • Programa de la visita del Dr. Robin Cockett de la Universidad de Calgary (Alberta, Canada) Del 1 al 5 de Diciembre de 2003:

  • El Dr. Robin Cockett es investigador lider en el uso de la Teoría de Categoras aplicada a diversas áreas de las Ciencias de la Computación, por citar algunos ejemplos: Lógica, Teoría de Juegos, Teoría de la Compilación, Métodos Formales, etc. Además es el creador del lenguaje de programación CHARITY, el cual es un lenguaje funcional categórico.
    • 1 de Diciembre, 13:30-15:00hrs., Auditorio A.Einstein, Conferencia Magistral "Formal methods, category theory, proof theory, and flow graphs"
    • 2, 3 y 4 de Diciembre, 16:00-18:30 hrs., Auditorio A. Einstein, Seminario, temas a tratar:
      • "Introduction to linear logic"
      • "Introduction to game theory and polarized Categories"
      • "Restriction categories: the abstract theory of partial maps"
Albañilería:
Rollos:
Acreditación (Me disculpo por tener ligas a documentos .doc, pero CONAIC no usa LaTeX):