16-20 Dec 2019
Concepcion, Chile
XVIII SLALM (XVIIIth Latin American Symposium on Mathematical Logic) Third announcement to anyone who might be interested, especially students who want to apply for a scholarship. Universidad de Concepcion, Chile December 16-20, 2019 THIRD ANNOUNCEMENT The SLALM (Latin American Symposium on Mathematical Logic) started at the end of the 1960's, impulsed by Abraham Robinson, who was then President of the Association for Symbolic Logic (ASL). It gathers the community of researchers in Logic from all Latin America and counts with the participation of leading researchers from all over the world. It exists thanks to the support of the ASL and of the local institutions organizing the event. It has been organized in various places of Latin America (Chile 1970, Brazil 1976, Chile 1978, Colombia 1981, Venezuela 1983, Brazil 1985, Brazil 1989, Argentina 1992,Colombia 1995, Venezuela 1998, Costa Rica 2004, Mexico 2006, Brazil 2008, Colombia 2012, Argentina. 2014, Mexico 2017). Main announcements: - Registration is open - Application for Scholarships is open - Outreach Conference by Walter Carnielli (UNICAMP, Brazil) - Some important dates have been modified (for instance for the fellowships) 7 plenary talks: Pablo Barceló, Universidad de Chile, Chile Characterizing Classes of Conjunctive Queries that can be Efficiently Evaluated Manuela Busaniche, Instituto de Matemática Aplicada del Litoral, CONICET-UNL, Argentina Algebraic semantics of substructural logics: constructions of residuated lattices Zoé Chatzidakis, CNRS - École Normale Supérieure, France Notions of difference closure of difference fields Michael Hrusak, Universidad Nacional Autónoma de México, Mexico Ultrapowers in topology Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Sequentialising nested systems Cristóbal Rojas, Universidad Andrés Bello, Chile TBA Henry Towsner, University of Pennsylvania, USA Interpreting Infinity within Finite Mathematics 4 mini-courses: Santiago Figueira, Universidad de Buenos Aires, Argentina A Computer-theoretical outlook on foundations of quantum information Jaroslav Ne?et?il, Charles University, Czech Republic TBA Carles Noguera, Institute of Information Theory and Automation, Czech Republic An introduction to the general algebraic study of non-classical logics Héctor Pastén, Pontificia Universidad Católica de Chile, Chile Hilbert's tenth problem beyond Z 4 Parallel Sessions: Model Theory, Set Theory, Computability and Computer Science, Philosophy and Non- Classical Logics. Scholarships: The XVIII SLALM will offer a limited amount of fellowships. The fellowship consists in a discount on the registration fee, and in a partial financial support for travel and/or accommodation. The exact amounts will be determined later on depending on the available resources and the number of applicants. See the webpage of the event http://slalmxviii.udec.cl/ for applying online. Important dates: ? Submission of posters: until Monday, October 7th, 2019 ? Registration opens: September, 2019 ? Early bird registration closes: will be determined soon, after the system of online payment is working ? Deadline for scholarship applications: Monday, October 7th, 2019 ? Notification of scholarships: Tuesday, October 15th, 2019 ? Registration closes: Sunday, November 3rd, 2019 ? Deadline for paying the registration fee: Monday, December 2nd, 2019 ? Registration fee is refundable until: Friday, November 15th, 2019 Registration Fees: ? Early registration fee: CLP$ 80.000 (US$ 125 approx.) ? Scholarship registration fee: CLP$ 30.000 (US$ 50 approx.) ? Late registration fee: CLP$ 115.000 (US$ 175 approx.) Rules for posters: The size of the posters should be A0 (118,9 cm. long and 84,1 cm. large). Each participant should send his/her poster in pdf format to slalmxviii@udec.cl no later than September 1st, with the word ?poster? in the subject, mentioning in the body of the email your name, affiliation, and the corresponding session. The presentation of a poster will be taken into account at the time of distribution of the scholarships. -- [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