16-20 de diciembre de 2019 Universidad de Concepción
El SLALM (Simposio Latinoamericano de Lógica Matemática) fue concebido a finales de los años 1960 por Abraham Robinson, quien en ese momento era Presidente de la Asociación de Lógica Simbólica (ASL). El SLALM reúne a la comunidad de investigadores en lógica a lo largo de América Latina y se nutre de importantes participaciones de investigadores de todo el mundo. Ha crecido gracias al apoyo del ASL, así como a las instituciones locales que acogen el evento. Se ha realizado en diversas ciudades alrededor de América Latina (Chile 1970, Brasil 1976, Chile 1978, Colombia 1981, Venezuela 1983, Brasil 1985, Brasil 1989, Argentina 1992, Colombia 1995, Venezuela 1998, Costa Rica 2004, México 2006, Brasil 2008, Colombia 2012, Argentina 2014, México 2017).
En esta ocasión, contaremos con 7 conferencias plenarias, 4 mini-cursos y 4 sesiones paralelas.
7 conferencias plenarias:
Pablo Barceló, Universidad de Chile, Chile
Manuela Busaniche, Instituto de Matemática Aplicada del Litoral, CONICET-UNL, Argentina
Zoé Chatzidakis, CNRS – École Normale Supérieure, Francia
Michael Hrusak, Universidad Nacional Autónoma de México, México
Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
Cristóbal Rojas, Universidad Andrés Bello, Chile
Henry Towsner, University of Pennsylvania, EEUU
4 mini-cursos:
Santiago Figueira, Universidad de Buenos Aires, Argentina
Jaroslav Nešetřil, Charles University, República Checa
Carles Noguera, Institute of Information Theory and Automation, Rep. Checa
Héctor Pastén, Pontificia Universidad Católica de Chile, Chile
4 Sesiones:
Teoría de Modelos
Teoría de Conjuntos
Computabilidad y Ciencias de la Computación
Filosofía y Lógicas No-clásicas
Fechas claves:
• Envío Resúmenes y Pósters: hasta domingo 16 junio 2019
• Notificación de aceptación: viernes 12 julio 2019
• Apertura inscripciones: lunes 15 de julio 2019
• Cierre inscripciones tempranas: domingo 1 de septiembre 2019
• Cierre postulaciones a becas: domingo 1 de septiembre 2019
• Notificación resultados becas: viernes 27 de septiembre 2019
• Cierre inscripciones: domingo 3 de noviembre 2019
• Reembolso por anulación de inscripción: viernes 15 de noviembre 2019
Montos Inscripción:
• Inscripción temprana: CLP$ 80.000 o US$ 125
• Inscripción becados: CLP$ 30.000 o US$ 50
• Inscripción tardía: CLP$ 115.000 o US$ 175
Reglas para envío de resúmenes:
Por favor mandar su resumen al correo slalmxviii@udec.cl siguiendo las reglas de la ASL (ver http://aslonline.org/meetings/rules-for-abstracts/), a más tardar el 16 de junio, con la palabra “resumen” en asunto, precisando en el cuerpo del email su nombre, afiliación, y la sesión a la cual va dirigido. Las conferencias aceptadas tendrán una duración de 30 minutos, incluyendo preguntas.
Reglas para envío de posters:
El formato físico de los posters debe ser A0 (118,9 cm de largo por 84,1 cm de ancho). Cada postulante deberá enviar su póster en formato pdf al correo slalmxviii@udec.cl, a más tardar el 1 de septiembre, con la palabra “poster” en asunto, precisando en el cuerpo del email su nombre, afiliación, y la sesión a la cual va dirigido. Se tomará en cuenta la presentación de póster al momento de seleccionar a los becados.
Comité de Programa:
• Alexander Berenstein (presidente), Universidad de los Andes, Colombia
• Manuela Busaniche, Universidad Nacional del Litoral, Argentina
• Lluís Godo, Universitat Autònoma de Barcelona, España
• Diego Figueira, Laboratoire Bordelais de Recherche en Informatique, Francia
• Claudio Gutierrez, Universidad de Chile, Chile
• Jordi Lopez-Abad, UNED, España, y Université Paris 7, Francia
• Angus MacIntyre, Queen Mary University of London, Reino Unido
• Carlos Martínez-Ranero, Universidad de Concepción, Chile
• Antonio Montalbán, The University of California, Berkeley, Estados Unidos
• Samaria Montenegro, Universidad de Costa Rica, Costa Rica
• Nicola Olivetti, Aix-Marseille Université, Francia
• Ted Slaman, The University of California, Berkeley, Estados Unidos
• Beta Ziliani, Universidad Nacional de Córdoba, Argentina
Coordinadores de Sesión:
• Teoría de Modelos:
Javier Utreras (Universidad de Concepción, Chile)
Xavier Caicedo (Universidad de Los Andes, Colombia)
• Teoría de Conjuntos:
Carlos Martínez (Universidad de Concepción, Chile)
Jordi López-Abad (UNED, España, y Université Paris 7, Francia)
• Computabilidad y Ciencias de la Computación:
Pablo Barceló (Universidad de Chile)
Antonio Montalbán (The University of California, Berkeley, EEUU)
• Filosofía y Lógicas no-clásicas:
Rolando Núñez (Universidad de Concepción, Chile)
Alba Massolo (Universidad Nacional de Córdoba, Argentina)
Comité Organizador: slalmxviii@udec.cl
Sebastián Briceño (Departamento de Filosofía, Facultad de Humanidades y Arte)
Anahí Gajardo (Departamento de Ingeniería Matemática, Facultad de Ciencias Físicas y Matemáticas)
Carlos Martínez-Ranero (Departamento de Matemática, Facultad de Ciencias Físicas y Matemáticas)
Andrea Rodriguez (Depto. de Ing. Informática y Ciencias de la Computación, Facultad de Ingeniería)
Javier Utreras (Departamento de Matemática, Facultad de Ciencias Físicas y Matemáticas)
Xavier Vidaux (Departamento de Matemática, Facultad de Ciencias Físicas y Matemáticas)