26-30 Jun 2017
Puebla, Mexico
*17th Latin American Symposium on Mathematical Logic (SLALM 2017)*
*Dates:* June 26-30, 2017
*Host:* Benemérita Universidad Autónoma de Puebla, en Puebla, Puebla,
México.
*Web page:* http://www.fcfm.buap.mx/SLALM2017
*e-mail:* slalm2017@fcfm.buap.mx
The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in
the late 1960?s by Abraham Robinson, who at the time was President of the
Association for Symbolic Logic (ASL).
The SLALM brings together the community of researchers in logic along Latin
America and is nourished by important participations of researchers from
around the world. It has grown thanks to the support of the ASL, as well as
the local institutions that host the event.
It has been held in several countries all over Latin America, this time the
ASL Committee for Latin America chose the Benemérita Universidad Autónoma
de Puebla (BUAP) as the venue for the next Latin American Symposium of
Logic. Therefore, the 17th SLALM(17th Latin American Symposium on
Mathematical Logic) will take place in the beautiful city of PUEBLA,
MEXICO, from June 26th to June 30th of 2017. The first two days of the
meeting will be devoted to tutorials and the other three days to the
plenary talks and the topic sessions. We invite you to be part of this
important meeting.
*Important Dates*
*Submission Deadline:* February 24, 2017 (two page abstracts in Latex
submitted to EasyChair, please use the template available in the web page
of the event)
*Notification Due:* March 31, 2017
*Student travel awards: *The Latin American Symposium on Mathematical Logic
became an official ASL meeting by ASL Council action in May 2016. Then ASL
student travel awards are available, for more information visit:
http://www.aslonline.org/studenttravelawards.html
*Topic sessions*
1. Model Theory
2. Set Theory
3. Computability
4. Proof Theory
5. Logic and Computer Science
6. Philosophy of Logic/ Philosophical Logic/ Non-Classical Logics
*Tutorials*
1. *Christina Brech* - Departamento de Matemática, Instituto de
Matemática e Estatística Universidade de São Paulo (Brazil).
*Generalizing uniform families to the uncountable setting.*
1. *Pierre Simon* - Mathematics Department, University of California,
Berkeley (United States).
*Measures, groups and the NIP condition.*
1. *Marcelo Finger* - *Departamento* de Ciência da *Computação**, *Instituto
de Matemática e Estatística, Universidade de São Paulo (Brazil).
*Quantitative Logic Reasoning.*
1. *Marcelo Coniglio* - Departamento de Filosofia, Instituto de
Filosofia e Ciências Humanas, Universidade Estadual de Campinas (Brazil).
*Tutorial?s title to be confirmed.*
*Plenary Speakers*
1. *Alexander Berenstein* - Departamento de Matemáticas Universidad de
los Andes (Colombia).
*Applications of Model Theory to Real Analysis.*
1. *Jordi Lopez-Abad* - Institut de Mathématiques de Jussieu?PRG,
Université Paris 7 (France).
*The approximate Ramsey property of the finite dimensional normed spaces.*
1. *Damir D. Dzhafarov* - Department of Mathematics University of
Connecticut (United States).
*Computable combinatorics: the past, present, and future.*
1. *George Metcalfe* - Mathematisches Institut, Universität Bern
(Switzerland).
*Proof Surgery for Ordered Structures.*
1. *Carlos Aceres* - Facultad de Matemática, Astronomía, Física y
Computación, Universidad Nacional de Córdoba (Argentina).
*Henkin Completeness in Modal Logic.*
1. *Fernando Zalamea Traba* - Departamento de Matemáticas, Universidad
de Colombia (Colombia).
*Categorical Logic and the Logic of Sheaves: Foundations for a Synthetic
Philosophy of Mathematics.*
*Scientific Committee*
- *Walter Carnielli* (CHAIR) - Universidade Estadual de Campinas (Brazil)
- *Verónica Becher* - Universidad de Buenos Aires (Argentina)
- *Xavier Caicedo* - Universidad de los Andes (Colombia)
- *Natasha Dobrinen* - University of Denver (United States)
- *Carlos Di Prisco* - Instituto Venezolano de Investigaciones
Científicas (Venezuela) y Universidad de los Andes (Colombia)
- *Antonio Montalbán* - University of California, Berkeley (United
States)
- *Raymundo Morad*o - Universidad Nacional Autónoma de México (Mexico)
- *Mauricio Osorio* - Universidad de las Américas Puebla (Mexico)
- *Stevo Todorcevic* - University of Toronto (Canada) y Paris 7 (France)
- *Boris Zilber* - University of Oxford (United Kingdom)
*Local Committee*
- *José Ramón Enrique Arrazola Ramírez* (CHAIR) - FCFM Benemérita
Universidad Autónoma de Puebla (Puebla)
- *Iván Martínez Ruiz* - FCFM Benemérita Universidad Autónoma de Puebla
(Puebla)
- *Alejandro Ramírez Paramo* - ECE Benemérita Universidad Autónoma de
Puebla (Puebla)
- *Claudia Zepeda Cortés* - FCC Benemérita Universidad Autónoma de
Puebla (Puebla)
- *Rafael Rojas Barbachano* - FC Universidad Nacional Autónoma de México
(Ciudad de México)
- *Favio E. Miranda Perea* - FC Universidad Nacional Autónoma de México
(Ciudad de México)
- *David Meza Alcantara* - FC Universidad Nacional Autónoma de México
(Ciudad de México)
- *Luis Estrada González* - IIF Universidad Nacional Autónoma de México
(Ciudad de México)
- *Ulises Ariet Ramos García* - CCM Universidad Nacional Autónoma de
México (Morelos)
- *Max Fernández de Castro Tapia* - DF Universidad Autónoma
Metropolitana (Iztapalapa)
- *Matías Alvarado Mentado* - DC Centro de Investigación y de Estudios
Avanzados (Ciudad de México)
- *Raúl Monroy Borja* -DTIC Instituto Tecnológico y de Estudios
Superiores de Monterrey (Estado de México)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam