Prezados colegas,
O Programa de Pós-Graduação em Matemática Aplicada e
Estatística (PPGMAE) da Universidade Federal do Rio Grande do Norte (UFRN)
está procurando candidatos com potencial de pesquisa para uma bolsa de
pós-doutorado (PNPD-CAPES). Busca-se um candidato com interesse em
Caros, para aqueles que estiverem por aquelas bandas da saxônia.
http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-agreements-to-understand-logical-pluralism/
Eu tenho os slides da apresentação para aqueles interessados em me ajudar
com um par de observações críticas l
Caro Marcos e lista,
Parabéns e obrigada pela divulgação!
(Por favor me mande os slides.)
Aproveito também para divulgar algumas palestras minhas e de João Marcos
para quem estiver pelas bandas da Vestfália e de Francoforte.
- 03.11.2016
* João Marcos: "Can classical reasoning be recovered throu
Aproveito para divulgar uma palestra interessantíssima que será
oferecida pelo Marcelo Finger no IME/USP nesta próxima 5a-feira.
Joao Marcos
PS: Infelizmente estarei oferecendo uma palestra exatamente no mesmo
horário a 9.847 km dali, então esta do Marcelo eu vou perder, mas quem
puder estar lá p
Ola Carol e Marcos,
o projeto do Marcos é bem bacana, e eu fico contente de ter
contribuido de alguma forma.
Carol, eu gostaria (em PVT se preferir) dos slides de "Breaking the
Proof Code - Einführung in die Maschinengestütztes Beweisen"
Abs
Walter
Em 1 de novembro de 2016 19:08, Carol Blas
Obrigado pelo interesse, Walter. Há uma versão destes slides aqui:
http://logic-ufrn.weebly.com/joatildeo-marcos.html
[]s, JM
On Nov 2, 2016 12:55 AM, "Walter Carnielli"
wrote:
> Ola Carol e Marcos,
>
> o projeto do Marcos é bem bacana, e eu fico contente de ter
> contribuido de alguma forma.
