-- Forwarded message --
From: ILP 2017
Date: Wed, Mar 29, 2017 at 11:52 AM
Subject: ILP 2017 - 2nd call for paper
To: Gerson Zaverucha
Dear Gerson,
Please find below a second call for paper and the latest news.
There will be three best papers awards:
- A best paper award, for
-- Forwarded message --
From: Jesse Davis
Date: Tue, Mar 25, 2014 at 11:29 AM
Subject: ILP 2014 Call for Papers
To: ger...@cos.ufrj.br
Cc: Jan Ramon
Dear Gerson
Thank you for agreeing to serve on the ILP 2014 program committee. We
would like to bring your attention to the cal
PROCESSO SELETIVO PARA MESTRADO E DOUTORADO
PESC - Programa de Engenharia de Sistemas e Computação
COPPE - Instituto Alberto Luiz Coimbra de
Pós-Graduação e Pesquisa em Engenharia
UFRJ - Universidade Federal do Rio de Janeiro
**
Parabens Walter!
Belo reconhecimento.
Gostaria de esclarecer que o Walter ganhou o premio (nao foi "apenas" uma
indicaçao):
*Professor Walter Carnielli is to receive the TGA Medal 2013 for
Mathematics.*
Vejam o video da Matematica.
Abs,
Gerson
2012/8/1 Joao Marcos
> -- Forwarded message
Tive o prazer de parabenizar Márcio pessoalmente em Natal.
Renata, parabens!
Abs,
Gerson
2011/8/8 Renata Wassermann
> Obrigada a todos pelos parabéns.
> Estou muito orgulhosa pelo Márcio e por termos uma tese de lógica
> reconhecida
> como trabalho de computação!
>
> Abraços,
>
> Renata.
>
> 20
-- Forwarded message --
From: MYV
Date: Sun, Apr 4, 2010 at 6:01 AM
Subject: Amir Pnueli Memorial Symposium - May 7-9, 2010
To: Moshe Vardi
===
Amir Pnueli Memorial Symposium
Inscrições para o Mestrado e Doutorado do PESC/COPPE/UFRJ
Encontram-se abertas até o dia 14 de novembro de 2008 as inscrições aos
cursos de pós-graduação /stricto sensu/ (mestrado e doutorado) do
Programa de Engenharia de Sistemas e Computação (PESC) da COPPE/UFRJ.
Na mais recente avaliação d
