SLALM
SLALM UCR
Inicio
Descripción General
Programas
General
Social
Libro
Acerca de
Hospedaje
Acerca de San José
Acerca de Costa Rica
Galería
Universidad de Costa Rica
Costa Rica
Contáctenos
Conferencistas
Charlas Plenarias
Minicursos / Talleres
Sesiones Temáticas
Teoría de modelos
Teoría de Conjuntos
Computabilidad
Ciencias de la Computación
Lógicas no clásicas/ Lógica algebraica
Filosofía de la lógica/ Lógica filosófica
Organización
Comité Organizador
Comité Científico
Equipo de Apoyo
Inscripción
Registro
Temas
Modalidad de Participación
Fechas Importantes
Ayuda Financiera ASL
Ediciones Anteriores
UCR
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).