Sesiones Temáticas
Sesiones Temáticas
- Teoría de modelos. Organizadores: Alf Onshuus (Universidad de los Andes) y Samaria Montenegro (UCR).
- Teoría de Conjuntos. Organizadores: Vera Fischer (University of Vienna) y Rafael Zamora (UCR).
- Computabilidad: Organizadores: Antonio Montalban (The University of California, Berkeley) y Rafael Zamora (UCR).
- Ciencias de la computación / Teoría de pruebas: Organizadores: Lourdes Gonzales (UNAM) y Adrián Lara (UCR).
- Lógicas no clásicas/ Lógica algebraica. Organizadores: Ricardo Oscar Rodriguez (Universidad de Buenos Aires), Samaria Montenegro (UCR).
- Filosofía de la lógica/ Lógica filosófica. Organizadores: Eduardo Alejandro Barrio (UBA) y Lorenzo Boccafogli (UCR).