15º Encontro Brasileiro de Lógica e 14º Simpósio Latino-Americano de Lógica Matemática

Republicar

A Agência FAPESP licencia notícias via Creative Commons (CC-BY-NC-ND) para que possam ser republicadas gratuitamente e de forma simples por outros veículos digitais ou impressos. A Agência FAPESP deve ser creditada como a fonte do conteúdo que está sendo republicado e o nome do repórter (quando houver) deve ser atribuído. O uso do botão HMTL abaixo permite o atendimento a essas normas, detalhadas na Política de Republicação Digital FAPESP.

Agência FAPESP* –Agência FAPESP – O 15º Encontro Brasileiro de Lógica e o 14º Simpósio Latino-Americano de Lógica Matemática integram a programação de comemorações dos 30 anos de criação do Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas. Os eventos ocorrerão simultaneamente, de 11 a 17 de maio, em Parati (RJ).

A programação contará com a participação de estudantes avançados de pós-graduação, que atuam na área, e de pesquisadores brasileiros, latino-americanos, norte-americanos e europeus.

Os tópicos tratados incluirão "Lógica filosófica e matemática e aplicações com ênfase em teoria de modelos e teoria de provas", Aplicações não-clássicas da lógica", "História e filosofia da lógica", "Filosofia das ciências formais e fundamentos da matemática".

Participam nomes como Newton da Costa, da Universidade de São Paulo, Raymond Smullyan (Universidade de Indiana, Estados Unidos), Jaakko Hintikka (Universidade de Boston, Estados Unidos), Arnon Avron (Universidade de Tel-Aviv, Israel), Oswaldo Chateaubriand, da Pontifícia Universidade Católica, Raymundo Morado (Universidade Nacional Autônoma do México), Graham Priest (Universidade de Melbourne, Austrália) e Diderik Batens (Universidade Ghent, Bélgica).

Mais informações: www.cle.unicamp.br/cle30-ebl-slalm.

<b>Agência FAPESP</b> – O 15º Encontro Brasileiro de Lógica e o 14º Simpósio Latino-Americano de Lógica Matemática integram a programação de comemorações dos 30 anos de criação do Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas. Os eventos ocorrerão simultaneamente, de 11 a 17 de maio, em Parati (RJ).
<p>
A programação contará com a participação de estudantes avançados de pós-graduação, que atuam na área, e de pesquisadores brasileiros, latino-americanos, norte-americanos e europeus.
<p>
Os tópicos tratados incluirão "Lógica filosófica e matemática e aplicações com ênfase em teoria de modelos e teoria de provas", Aplicações não-clássicas da lógica", "História e filosofia da lógica", "Filosofia das ciências formais e fundamentos da matemática".
<p>
Participam nomes como Newton da Costa, da Universidade de São Paulo, Raymond Smullyan (Universidade de Indiana, Estados Unidos), Jaakko Hintikka (Universidade de Boston, Estados Unidos), Arnon Avron (Universidade de Tel-Aviv, Israel), Oswaldo Chateaubriand, da Pontifícia Universidade Católica, Raymundo Morado (Universidade Nacional Autônoma do México), Graham Priest (Universidade de Melbourne, Austrália) e Diderik Batens (Universidade Ghent, Bélgica).
<p>
Mais informações: <b><a href="http://www.cle.unicamp.br/cle30-ebl-slalm/index.php?pag=abertura.php" target="_blank">www.cle.unicamp.br/cle30-ebl-slalm</a></b>.
<br><br><br>