[Logica-l] WBL2020: Deadline prorrogado: 01/06/2020

Deadline prorrogado para 01/06/2020. WBL 2020 O Workshop Brasileiro de Lógica (WBL - http://lsfa2020.ufba.br/wbl.html ) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua primeira

[Logica-l] Seminário remoto "Lógicos em Quarentena" 07/05/2020 16:00h

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunid

[Logica-l] Fwd: [DL] PostDoc positions in Math/AI. App deadline extended till May, 31.

Camilo Thorne Rheinhäuser Str. 9A 68165, Mannheim, Germany mobile: +49(0)15202380352 http://www.camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) -- Forwarded message - From: Denis Ponomaryov via dl Date: Mon, May 4, 2020 at 9:

[Logica-l] Fwd: [TYPES/announce] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)

-- Forwarded message - From: Rozman, Mihaela Date: Mon, May 4, 2020 at 12:33 PM Subject: [TYPES/announce] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc) To: types-annou...@lists.seas.upenn.edu [ The Types

Re: [Logica-l] Paper

Obrigado Claudio. Regivan Prof. Dr. Regivan Hugo Nunes Santiago Group for Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UF