Prezados,
Segue nota oficial sobre edital para visitantes na UFBA, versão em inglês
disponível no final do texto.
https://www.ufba.br/noticias/ufba-lan%C3%A7a-edital-para-contrata%C3%A7%C3%A3o-de-at%C3%A9-70-professores-visitantes
Isso é novidade absoluta então não temos informações
Mauricio e Flavio acabam de lançar um novo livro sobre Lógica
Computacional que será certamente de interesse para muitos membros
desta lista!
Vale recordar, em particular, que Mauricio apresentou um curso muito
bem sucedido sobre raciocínio formal usando PVS no NAT@Logic, há um
ano e meio: