SLALM 2017: deadline for submissions February 24, 2017
17 views
Skip to first unread message
Walter Carnielli
Jan 21, 2017, 3:47:21 PM1/21/17
to Lista dos Logicos Brasileiros
17th Latin American Symposium on Mathematical Logic (SLALM 2017) Puebla, Mexico
June 26--30, 2017
http://www.fcfm.buap.mx/SLALM2017
The Simposio Latinoamericano de Lógica Matemática became an official
ASL meeting by ASL Council action in May 2016. The invited plenary
speakers include: C. Areces, A. Berenstein, D. Dzhafarov, J.
Lopez-Abad, G. Metcalfe, and F. Zalamea. The following tutorials will
be offered (speakers in parentheses): Logic/AI (M. Finger), Model
theory (P. Simon), Non-Classical Logics/Philosophical Logic (M.
Coniglio), and Set theory (C. Brech).
Special sessions include: Computability, Logic and computer science,
Model theory, Philosophy of logic/Philosophical logic/Non-classical
logics, Proof theory, and Set theory.
Program Committee: V. Becher, X. Caicedo, W. Carnielli (Chair), N.
Dobrinen, C. Di Prisco, Antonio Montalbán, R. Morado, M. Osorio, S.
Todorcevic, and B. Zilber.
Local Organizing Committee includes: D. Meza Alcantara, R. Rojas
Barbachano, R. Monroy Borja, C. Zepeda Cortés, U.A. Ramos García, L.
Estrada González, M. Alvarado Mentado, A. Ramírez Paramo, F.E. Miranda
Perea, J.R.E. Arrazola Ramírez (Chair), M. Martínez Ruiz, and M.
Fernández de Castro Tapia.
Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic.
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
June 26--30, 2017
http://www.fcfm.buap.mx/SLALM2017
The Simposio Latinoamericano de Lógica Matemática became an official
ASL meeting by ASL Council action in May 2016. The invited plenary
speakers include: C. Areces, A. Berenstein, D. Dzhafarov, J.
Lopez-Abad, G. Metcalfe, and F. Zalamea. The following tutorials will
be offered (speakers in parentheses): Logic/AI (M. Finger), Model
theory (P. Simon), Non-Classical Logics/Philosophical Logic (M.
Coniglio), and Set theory (C. Brech).
Special sessions include: Computability, Logic and computer science,
Model theory, Philosophy of logic/Philosophical logic/Non-classical
logics, Proof theory, and Set theory.
Program Committee: V. Becher, X. Caicedo, W. Carnielli (Chair), N.
Dobrinen, C. Di Prisco, Antonio Montalbán, R. Morado, M. Osorio, S.
Todorcevic, and B. Zilber.
Local Organizing Committee includes: D. Meza Alcantara, R. Rojas
Barbachano, R. Monroy Borja, C. Zepeda Cortés, U.A. Ramos García, L.
Estrada González, M. Alvarado Mentado, A. Ramírez Paramo, F.E. Miranda
Perea, J.R.E. Arrazola Ramírez (Chair), M. Martínez Ruiz, and M.
Fernández de Castro Tapia.
Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic.
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
Reply all
Reply to author
Forward
0 new messages