[Logica-l] Research Fellowship: Institute of Mathematics in Prague

2017-03-13 Por tôpico Walter Carnielli
Repassando a pedidos (sic): A two year "Research Fellow" position is open in the Institute of Mathematics in Prague. The position starts June 1; the deadline for applications is April 17. See http://www.math.cas.cz/recrutements/postes.php?lang=0 Pavel Pudlak http://www.dvmlg.de/mailingliste.htm

[Logica-l] Fwd: [LOGIC] Research Fellowship in Mathematics, Prague (Czech Republic), Deadline: 17 Apr 2017

2017-03-13 Por tôpico Camilo Thorne
Camilo Thorne Mannheim, Germany mobile: +49(0)15202380352 http://camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) -- Forwarded message -- From: [LOGIC] Mailing List Date: Thu, Mar 2, 2017 at 2:20 PM Subject: [LOGIC] Research Fellowship in Mathematics, P

[Logica-l] Third call for papers: DARe at LPNMR'17

2017-03-13 Por tôpico Ivan José Varzinczak
* Please accept our apologies if you receive multiple copies of this call * == Call for Papers DARe at LPNMR 2017 Date: 3 July 2017 Espoo, Finland *** Deadline: 3 April 2017 *** == The Fourth International Workshop on "Defeasible and Amp

[Logica-l] [off-topic] Segunda edição do Logic, Semantics, Metamathematics

2017-03-13 Por tôpico Yuri Rodrigues
Caros, Alguém teria e poderia me ceder a *segunda *edição do Logic, Semantics, Metamathematics (Tarski)? Agradeço desde já. -- Yuri de Lima Rodrigues Bacharelando em Filosofia (UFC) Pesquisador Bolsista PIBIC/CNPQ facebook.com/yurirodrigues329 -- Você está recebendo esta mensagem porque se ins

[Logica-l] [OFF] IA e PLN

2017-03-13 Por tôpico Joao Marcos
Inteligência artificial à brasileira http://www.mobiletime.com.br/03/02/2017/inteligencia-artificial-a-brasileira/466025/news.aspx "Finger, do IME-USP, ressalta que o Brasil tem tradição em pesquisa em outras áreas relacionadas à inteligência artificial, como lógica matemática, dedução automática e