Conference on Mathematical Logic (Satellite Conference of the ICM 2018) Niteroi, Brazil, 10-11 August 2018 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. The satellite conference will take place at the Universidade Federal Fluminense (UFF) in Niteroi in the metropolitan area of Rio de Janeiro, on the other side of the Guanabara Bay, approximately a one hour drive from the site of the ICM 2018 (the Riocentro Convention & Event Center in the west of the city of Rio de Janeiro). Invited speakers include Matthias Aschenbrenner, Verónica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven. Registration and abstract submission will start early 2018. Additional scientific, practical and financial information can be found on our website http://www.dlmpst.org/pages/activities/icm-2018-satellite.php We encourage everyone who is interested in this logic satellite to also submit an abstract for presentation at the International Congress of Mathematicians and we remind you that the deadline for abstract submissions to ICM 2018 is 5 January 2018: further details can be found at http://www.icm2018.org. Scientific & Organising Committee (not complete). Christina Brech (Sao Paulo, Brazil), Samuel Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de Janeiro, Brazil), Denis Hirschfeldt (Chicago IL, U.S.A.), Fairouz Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands). Additional Financial Sponsors. Associazione Italiana di Logica e sue Applicazioni, De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen. -- 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/1447832270.33303111.1513695286068.JavaMail.zimbra%40ufba.br.