Parabéns Bruno e Walter pelo premio.
Jorge Alberto Molina
Em qua, 11 de set de 2019 às 01:24, Bruno Ramos Mendonça <
bruno.ramos.mendo...@gmail.com> escreveu:
> Olá a todos:
>
>
>
> Fico muito feliz com as mensagens de congratulação pelo prêmio Capes.
> Algumas pessoas me pediram um link para a t
Caros colegas,
nos dias 9-11/10, teremos a VI edicao do "Ciclo de Palestras Conscienca e
Cognicao" do Departamento de Filosofia da UFPE.
https://conscienciaecognicaoufpe.wordpress.com
Nesta edicao, dedicada à Filosofia da Lógica, contaremos com palestras dos
professores:
Luiz Carlos Perei
Concurso de Contratação de Professor Doutor em Computação - 2019
Departamento de Ciência da Computação - IME - USP
http://www.ime.usp.br/dcc
INSCRIÇÕES ATÉ 29/09/2019
*Concurso*
O Departamento de Ciência da Computação do IME-USP abriu um concurso para a
contratação de um professor doutor em regime
Concurso de Contratação de Professor Doutor em Computação - 2019
Departamento de Ciência da Computação - IME - USP
http://www.ime.usp.br/dcc
INSCRIÇÕES ATÉ 29/09/2019
*Concurso*
O Departamento de Ciência da Computação do IME-USP abriu um concurso para a
contratação de um professor doutor em regime
Divulgando:
We are happy to announce that there is going to be a call for a post-doc
position (assegno di ricerca) in mathematical logic at the University of Udine,
Italy. Priority will be given to applicants whose interest overlaps with those
of our group, mainly in reverse mathematics, comput
Parabéns Bruno e Walter! A tese é realmente muito boa.
Abraços
Marcelo
Em ter, 10 de set de 2019 16:38, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:
> Caras e caros Colegas:
>
> Tenho a satisfação de informar que meu orienta do Bruno Ramos
> Mendonça e eu ganhamos o Prêmio CAPES
Parabéns Walter e Bruno. Excelente!
Mauricio.
--
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 receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discus
-- Forwarded message -
*Apologies for cross posting*
5th Workshop on Connexive Logics
After four workshops on connexive logics in Istanbul (June 2015),
Raesfeld Castle (June 2016), Kyoto (September 2017) and Bochum
(October 2018), a fifth workshop on connexive logics will take pla
