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.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PyZUNa0tX2xE_zm0rfjuwJEGg8bz%3DZVdqYm%3D_nuah%3DgA%40mail.gmail.com.

Responder a