IUHPST/DLMPST

INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY

Conference on Mathematical Logic

(Proposed) Satellite event for the International Congress of Mathematicians 2018

Niterói, Brazil, 10–11 August 2018.

Co-organised by the Sociedade Brasileira de Lógica and DLMPST/IUHPST.

Scientific & Organising Committee (not complete). Christina Brech (São 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 (Niterói, Brazil), Benedikt Löwe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands).

Speakers will include:

Matthias Aschenbrenner
(Los Angeles CA, U.S.A.)
Valued differential fields  
  Martin-Löf randomness as uniform distribution modulo 1 Verónica Becher
(Buenos Aires, Argentina)
Valeria de Paiva
(Cupertino CA, U.S.A.)
 

 

    Steve Jackson
(Denton TX, U.S.A.)
Ulrich Kohlenbach
(Darmstadt, Germany)
Recent developments in proof mining  
  Saturation of regular ultrapowers Maryanthe Malliaris
(Chicago IL, U.S.A.)
Francisco Miraglia
(São Paulo, Brazil)
Faithfully Quadratic Rings  
  Differential henselianity Lou van den Dries
(Urbana-Champaign IL, U.S.A.)
Joris Van Der Hoeven
(Palaiseau, France)

 
     

The conference will take place at the Universidade Federal Fluminense (UFF) in Niterói 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). We expect to organise a minibus for participants to transfer from the Riocentro to Niterói after the closing of the ICM 2018 on Thursday 9 August 2018:

Call for contributed talks. We expect to issue a call for contributed talks in late 2017.

Sponsors.

     
Associazione Italiana di Logica e sue Applicazioni