posted by user: vero0304 || 2743 views || tracked by 1 users: [display]

SLALM 2017 : 17th Latin American Symposium on Mathematical Logic

FacebookTwitterLinkedInGoogle

Link: http://www.fcfm.buap.mx/SLALM2017/
 
When Jun 26, 2017 - Jun 30, 2017
Where Puebla, Puebla. México
Submission Deadline Mar 17, 2017
Notification Due Apr 7, 2017
Categories    logic   computer science   philosophy
 

Call For Papers

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. 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 (NEW): March 17, 2017 (two page abstracts in Latex submitted to EasyChair, please use the template available in the web page of the event)

Notification Due(NEW): April 7, 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

Model Theory
Set Theory
Computability
Proof Theory
Logic and Computer Science
Philosophy of Logic/ Philosophical Logic/ Non-Classical Logics

Related Resources

LATIN 2020   Latin American Symposium on Theoretical Informatics
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
LADC 2019   9th Latin-American Symposium on Dependable Computing
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
Ventana 2019   2nd Conference: A Window onto Latin America: A 21st Century Resignification of the Never-ending Conquest”
CVPR 2020   Computer Vision and Pattern Recognition
Alabama Languages Conference 2020   Empowering Languages and Cultures
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
Ventana 2019   NEW SUBMISSION DEADLINE: 2nd A WINDOW ONTO LATIN AMERICA CONFERENCE
LACCI 2019   6th IEEE Latin American Conference on Computational Intelligence LA-CCI