Los coordinadores son Gustavo Núñez Esquer, CIC-IPN, y
Guillermo Morales Luna, CINVESTAV- IPN. Las sesiones del seminario
se realizarán de 11:00 a 14:00 horas, los días en el Aula
1 del CIC-IPN, Av. Juan de Dios Bátiz y A. Mendizábal.
| Febrero 27 | Gustavo Núñez | Lógicas: Contexto y desarrrollo |
| Marzo 6 | Matías Alvarado | Lógicas clásicas I |
| Marzo 13 | José Alfredo Amor | Lógicas clásicas II |
| Marzo 20 | Guillermo Morales | Demostración automática I |
| Abril 10 | Guillermo Morales | Demostración automática II |
| Abril 17 | Gustavo Núñez | Extensiones de la lógica clásica I |
| Abril 24 | Gustavo Núñez | Extensiones de la lógica clásica II |
| Mayo 8 | Guillermo Morales | Razonamiento aproximado I |
| Mayo 22 | Guillermo Morales | Razonamiento aproximado II |
| Mayo 29 | Héctor Jiménez | Lógicas modales I |
| Junio 5 | Héctor Jiménez | Lógicas modales II |
| Junio 12 | Matías Alvarado | Modificaciones de la lógica clásica I |
| Junio 19 | Matías Alvarado | Modificaciones de la lógica clásica II |
| Junio 26 | Mauricio Osorio | Lógica computacional I |
| Julio 3 | Eduardo Morales | Lógica computacional II |
| Julio 10 | Álvaro de Albornoz | Razonamiento Cualitativo I |
| Julio 17 | Álvaro de Albornoz | Razonamiento Cualitativo II |
| Julio 24 | Guillermo Morales | Demostración automática no clásica I |
| Julio 31 | Guillermo Morales | Demostración automática no clásica II |
Mayores informes: gnunez@geminis.cenac.ipn.mx, gmorales@alpha.cs.cinvestav.mx y jmam@hp.fciencias.unam.mx.