CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)

[Samuel Gomes da Silva]

--------------------------------------------------------

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

C A L L  F O R  A B S T R A C T  S U B M I S S I O N S

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.

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.

The organisers invite all researchers in mathematical logic to submit

abstracts of their research for presentation at the conference. Please

submit your abstract by the deadline of

  1 April 2018

via our easychair website

    https://easychair.org/conferences/?conf=cml2018

ASL student travel awards. One of our sponsoring institutions, the

Association for Symbolic Logic is offering modest travel awards to

graduate students in logic to attend our conference. The deadline for

applications is 10 May 2018. Details can be found on our website.

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 March 2018: further details can be found at

  http://www.icm2018.org/portal/en/short-communication

We are looking forward to meeting you soon 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).

Sponsors.

  Association for Symbolic Logic.

  Associazione Italiana di Logica e sue Applicazioni

  Division for Logic, Methodology and Philosophy of Science & Technology

  De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

---------------------------------------------------------------

[Samuel Gomes]

Caros, desculpem a duplicidade, não tinha visto que o Bruno já tinha postado.

[Walter Carnielli]

Ola SBL ,

vai ter taxa de inscricao? Caríssima como a do ICM 2018 ou não?
Vai dar para ver algo do ICM 2018 também?

Em particular, o schedule foi pensado pra gente ver a premiação do
Fields Medal?

Estou pensado em organizar um "bolão": Peter Scholze, Simon Brendle,
Fernando Coda Marques,
Alessio Figalli, Hugo Duminil-Copin, Sophie Morel..quem mais?


Abs,

Walter

> --
> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/02207cb4-ff71-49a2-8074-43d548146fba%40dimap.ufrn.br.



--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
CV Lattes : http://lattes.cnpq.br/1055555496835379

[Samuel Gomes da Silva]

Oi Walter,

Ainda não entramos nesses detalhes, mas acredito que se houver taxa de inscrição será só para cobrir algum custo aqui e ali,
ou talvez nem tenha. A idéia é fazer algo espartano na UFF em Niterói.

A inscrição do ICM, essa é cara mesmo.

O satélite vai ser depois do ICM, e para assistir às atividades do ICM, aí tem que pagar a inscrição do ICM, infelizmente !

Observamos que: ainda é possível submeter trabalhos para o ICM (o evento grande) também (short communications/posters), e o deadline
para essas aplicações é 5 de março.

Nós do satélite, porém, não temos nenhuma relação com essas submissões ao ICM, apenas as encorajamos.

Até, abraço,

[]s Samuel









----- Mensagem original -----
De: "Walter Carnielli" <walter.c...@gmail.com>
Para: "Lista dos Logicos Brasileiros" <logi...@dimap.ufrn.br>
Cc: "Samuel Gomes da Silva" <sam...@ufba.br>
Enviadas: Quinta-feira, 22 de fevereiro de 2018 16:45:45
Assunto: Re: [Logica-l] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)