[MaFLa] [Fwd: ICM 2018 Satellite Conference on Mathematical Logic, Niteroi (Brazil), 10-11 Aug 2018]

[Laszlo E. Szabo]

-------- Forwarded Message --------
From: The Secretary General of DLMPST/IUHPST <secretary-general at dlmpst.
org>
To: DLMPSTmembers at informatik.uni-tuebingen.de
Subject: ICM 2018 Satellite Conference on Mathematical Logic, Niteroi
(Brazil), 10-11 Aug 2018
Date: Wed, 20 Dec 2017 00:42:01 +0100 (CET)

Dear DLMPST members,

   Please find the announcement for a satellite meeting at the ICM 2018
in 
Brazil below. It would be appreciated if you could distribute this 
announcement through your communication channels to your members or 
stakeholders.

   Note that the meeting is co-organised with the Brazilian national 
committee and co-sponsored by AILA and the VvL. If any other members
would 
be interested in sponsoring this meeting, either financially or 
non-financially, please do not hesitate to contact us.

All the best wishes,

Benedikt Loewe
Secretary General DLMPST/IUHPST
Division for Logic, Methodology and Philosophy of Science & Technology
of the International Union for History and Philosophy of Science &
Technology

==============================================

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, Veronica
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.

We are looking forward to meeting you next year in Brazil.

Scientific & Organising Committee. 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.


-- 
L a s z l o  E.  S z a b o
Professor of Philosophy
DEPARTMENT OF LOGIC, INSTITUTE OF PHILOSOPHY
EOTVOS UNIVERSITY, BUDAPEST
http://phil.elte.hu/leszabo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://listbox.elte.hu/mailman/private/mafla/attachments/20171220/09aafcb2/attachment.html>