[Logica-l] ZEROTH DAY - a new newsletter on mechanizing mathematics

2021-08-04 Por tôpico Joao Marcos
On AI and pure mathematics https://mathematicswithoutapologies.wordpress.com/2021/07/21/announcing-a-new-newsletter-on-mechanizing-mathematics/ JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de

Re: [Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico josé carlos cifuentes
Se houver gente (no ano que vem)!!! Cifa Livre de vírus. www.avast.com .

Re: [Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico Joao Marcos
Bem lembrado, Marlo! Está na hora de todo mundo ir pra UFBA! Vale lembrar, a propósito, que o Encontro Brasileiro de Lógica ocorrerá lá, no ano que vem (se houver um ano que vem). []s, Joao Marcos On Wed, Aug 4, 2021 at 9:04 PM Marlo Souza wrote: > Nesse mesmo concurso temos também uma

Re: [Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico Marlo Souza
Nesse mesmo concurso temos também uma vaga (tópico geral) para o Departamento de Computação, no qual temos também gente trabalhando com Lógica e Teoria da Computação Em qua., 4 de ago. de 2021 às 20:59, samuel escreveu: > ... E, nesse mesmo Edital onde aparece essa vaga na Matemática, tem uma

[Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico samuel
... E, nesse mesmo Edital onde aparece essa vaga na Matemática, tem uma vaga para Lógica no Departamento de Filosofia ! Obrigado ao Thiago Nascimento da UFRN que me chamou a atenção para isso. Então, tem ainda mais essa oportunidade aqui na UFBA na área de Lógica. Atés []s Samuel Em

[Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico samuel
Oi gente, Talvez eu não tenha sido claro na mensagem anterior, mas pra que não restem dúvidas, o concurso é uma vaga geral para matemática, não é um concurso específico pra lógica - o que eu quis chamar a atenção é que lógicos podem concorrer, com as titulações que descrevi. Atés []s Samuel

[Logica-l] Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico Samuel Gomes da Silva
Prezados, Temos um concurso aberto, com uma vaga, para o Departamento de Matemática da UFBA: https://concursos.ufba.br/sites/concursos.ufba.br/files/docentes/edital_docente_01_2021_para_o_site.pdf Os títulos solicitados para inscrição incluem: Doutor em Lógica ou Doutor em