[Logica-l] Edital de seleção professor substituto - UFFS

*1 * Área de conhecimento 01: *Lógica e Epistemologia* *I - * Vagas: 01 *II - * Regime de Trabalho: 40 horas *III - Requisitos:* *a) * Graduação: Filosofia; *b) * Mestrado: Filosofia; ou *c) * Doutorado: Filosofia. Período de inscrição 18/07/2019 a 25/07/2019 Segue o edital de seleção professor s

[Logica-l] CADE-27 -- Anúncio de Tutoriais

Prezados colegas, De 27 a 30 de agosto de 2019 a UFRN, a UnB e CMU-Qatar organizarão, na UFRN, a maior conferência internacional na área de dedução automática: The 27th Conference on Automated Deduction (CADE-27 - https://mat.ufrn.br/CADE-27/) O CADE será precedido por três dias de workshops e 2

Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica

Acho que deve entrar. Não é marginal, pelo contrário. Ab., -- Alexandre Rademaker http://arademaker.github.io > On 17 Jul 2019, at 16:24, Joao Marcos wrote: > >> https://docs.google.com/spreadsheets/d/1LGyI6Li8T2PxXy7DKvVfsPeX_DguHH_h9l2CyvVGkGM/edit?usp=sharing >> Recordo que a lista ainda