Para mayor información ver la página del Grupo de Álgebra Universal y Lógica.
Lugar, fecha y hora | Orador | Institución | Título | Resumen |
|---|---|---|---|---|
| Aula: 20, 06/11/2019, 16:00hs. |
Facundo Bustos
| FaMAF | Introducción a Planning Clásico y su Complejidad | Ver |
| Aula: 20, 30/10/2019, 16:00hs. |
Miguel Pagano
| FaMAF | Modelos para sintacticalidades | Ver |
| Aula: 20, 09/10/2019, 16:00hs. |
Martín Moroni
| CIEM-FaMAF | Problemas de clasificación y reducciones Borel | Ver |
| Aula: 20, 02/10/2019, 16:00hs. |
Francisco Trucco
| FaMAF | El Isomorfismo de Curry Howard | Ver |
| Aula: 20, 11/09/2019, 16:00hs. |
Miguel Campercholi
| CIEM-FaMAF | Introducción a la Complejidad Computacional (segunda parte) | Ver |
| Aula: 20, 04/09/2019, 16:00hs. |
Miguel Campercholi
| CIEM-FaMAF | Introducción a la Complejidad Computacional | Ver |
| Aula: 10, 19/06/2019, 16:00hs. |
Nicolás Balmaceda
| FaMAF | La concepción Semántica de la verdad en Tarski. | Ver |
| Aula: 24, 20/05/2019, 14:30hs. |
Guillermo Incatasciato
| FaMAF-CONICET | La idea general detrás del teorema de incompletitud de Godel. | Ver |
| Aula: 24, 15/06/2016, 16:30hs. |
Pablo Ventura
| CIEM-FaMAF | Algoritmos para decidir definibilidad abierta. | Ver |
| Aula: 10, 10/04/2019, 16:00hs. |
Pedro Sánchez Terraf
| CIEM-FaMAF | Posets asociativos | |
| Aula: 24, 15/06/2016, 16:30hs. |
Emannuel Gunther
| FaMAF | Formalización de un framework algebraico para la traducción correcta de lenguajes. | Ver |
| Aula: 24, 01/06/2016, 16:30hs. |
Javier Blanco
| FaMAF | Reflexiones acerca de la reflexión. La idea de reflexión en Computación, Lógica y Filosofía. | Ver |
| Aula: 24, 04/05/2016, 16:30hs. |
Miguel Pagano
| FaMAF | Introducción a la Teoría de Tipos. | Ver |
| Aula: 24, 20/04/2016, 16:30hs. |
Miguel Campercholi
|
FaMAF
| Subálgebras épicas y funciones primitvas positivas. | Ver |
| Aula: 24, 06/04/2016, 16:30hs. |
Mariana Badano
| FaMAF | Platonismo en matemática. | Ver |
| Aula: 24, 23/03/2016, 16:30hs. | Mauricio Telechea | FaMAF | Una representación por haces modificada. | Ver |
