Model-Based Reasoning in Science and Technology

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 – A conferência Model-Based Reasoning in Science and Technology – Abduction, Logic, and Computational Discovery (MBR'09_Brazil) será realizada de 17 a 19 de dezembro em Campinas (SP).
O primeiro dia do evento será no Instituto de Matemática, Estatística e Computação Científica (Imecc) da Universidade Estadual de Campinas (Unicamp). Os outros dias serão no Hotel Royal Palm Tower.
A conferência de abertura, Logic as a theory of computation, será proferida pelo finlandês Jaakko Hintikka, atualmente professor da Universidade de Boston. Ganhador do Prêmio Schock, considerado o Nobel da Filosofia, Hintikka é considerado o fundador da lógica epistêmica formal.
Os canadenses Paul Thagard, da Universidade de Waterloo, e John Woods, da Universidade da Colúmbia Britânica, no Canadá, Walter Carnielli, professor do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas da Unicamp, e Simon Colton, do Imperial College, de Londres, serão alguns dos palestrantes.
A organização da conferência é do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, em conjunto com as universidades de Siena e de Pavia, na Itália. Os organizadores principais são os professores Carnielli e Lorenzo Magnani.
Mais informações: www-3.unipv.it/webphilos_lab/courses/progra4.html.

<p><b>Agência FAPESP</b> – A conferência Model-Based Reasoning in Science and Technology – Abduction, Logic, and Computational Discovery (MBR'09_Brazil) será realizada de 17 a 19 de dezembro em Campinas (SP).</p>
<p>O primeiro dia do evento será no Instituto de Matemática, Estatística e Computação Científica (Imecc) da Universidade Estadual de Campinas (Unicamp). Os outros dias serão no Hotel Royal Palm Tower.</p>
<p>A conferência de abertura, <i>Logic as a theory of computation</i>, será proferida pelo finlandês Jaakko Hintikka, atualmente professor da Universidade de Boston. Ganhador do Prêmio Schock, considerado o Nobel da Filosofia, Hintikka é considerado o fundador da lógica epistêmica formal.</p>
<p>Os canadenses Paul Thagard, da Universidade de Waterloo, e John Woods, da Universidade da Colúmbia Britânica, no Canadá, Walter Carnielli, professor do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas da Unicamp, e Simon Colton, do Imperial College, de Londres, serão alguns dos palestrantes.</p>
<p>A organização da conferência é do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, em conjunto com as universidades de Siena e de Pavia, na Itália. Os organizadores principais são os professores Carnielli e Lorenzo Magnani.</p>
<p>Mais informações: <b><a target="_blank" href="http://www-3.unipv.it/webphilos_lab/courses/progra4.html">www-3.unipv.it/webphilos_lab/courses/progra4.html</a></b>. <br />
 </p>