ETAPS 2019 Test of Time Award

Última Revisão —
ETAPS 2019

Vasco T. Vasconcelos e a esposa de kohei Honda receberam o prémio durante o ETAPS 2019, ocorrido em Praga, na República Checa, entre 6 e 11 de abril

ETAPS 2019

Vasco T. Vasconcelos, professor do Departamento de Informática de Ciências ULisboa, Kohei Honda, professor da Queen Mary University of London, no Reino Unido, entretanto falecido e Makoto Kubo, professor da Chiba University of Commerce, no Japão, autores do artigo “Language primitives and type discipline for structured communication-based programming”, apresentado durante o European Symposium on Programming, em 1998, foram galardoados com o ETAPS 2019 Test of Time Award.

O prémio instituído em 2017 reconhece os excelentes trabalhos publicados há mais de 10 anos numa das conferências constitutivas do ETAPS. Vasco T. Vasconcelos e a esposa de kohei Honda receberam o prémio durante o ETAPS 2019, ocorrido em Praga, na República Checa, entre 6 e 11 de abril. Makoto Kubo não pôde estar presente. O ETAPS é o evento europeu anual mais importante relacionado com as ciências de software.

"É uma grande honra receber este prémio; lembro com saudade o meu colega Kohei Honda, falecido em 2012, e os muitos artigos que escrevemos juntos", diz Vasco T. Vasconcelos. O artigo premiado teve grande impacto na área das linguagens de programação incorporando na teoria de tipos a descrição de comportamento interativo. "Tipos de sessão são especificações de protocolos de comunicação que permitem a verificação de implementações através de um sistema deverificação de tipos", conclui Vasco T. Vasconcelos.

ACI Ciências ULisboa
info.ciencias@ciencias.ulisboa.pt

Filipe Duarte Santos - Professor Catedrático e Jubilado do Departamento de Física e Director do SIM

Imagem de perfil de Maria Filomena Camões, professora do DQB-FCUL

Maria Filomena Camões, professora do Departamento de Química e Bioquímica da FCUL, assina um artigo sobre a criação do Instituto Nacional de Metrologia da Colômbia e a inauguração de um laboratório do qual é madrinha.

Guiomar Evans - Prof. Auxiliar do Departamento de Física e Investigadora do Centro de Física da Matéria Condensada

A missa do 30.º dia em memória de José Manuel Pires dos Santos, professor aposentado do Departamento de Informática da FCUL, realiza-se a 11 de setembro, pelas 19h00, na Igreja da Luz, em Carnide.

Toda a morte, mesmo a anunciada, é uma surpresa. Um misto de espanto e de descrença como se não fosse possível acontecer.

As actividades da Semana Zero do DEGGE têm lugar nos dias 12, 13 e 14 de Setembro.

Bolsas Universidade de Lisboa / Fundação Amadeu Dias

Em cinco anos, a UL e a FAD apoiaram 134 projetos. A Faculdade de Ciências distingue-se com o maior número de alunos e respetivos trabalhos distinguidos, setenta.

Apresentações públicas do Programa de Doutoramento em Biologia

Apesar do próximo ano letivo começar já dia 17 de setembro, a FCUL ainda está a receber candidaturas de alunos interessados nos seus cursos pós-graduados.

Centro de Dados da FCUL

Tal como anunciado em julho, a modernização do Centro de Dados da FCUL foi realizada durante os meses de verão e está prestes a terminar.

Vela

Aos familiares, amigos e colegas a FCUL apresenta as sinceras condolências.

Fluxo de energia bancária

“O princípio de que aumentar o capital dos bancos favorece a estabilidade bancária, para além de estar errado, penaliza países como o nosso de forma ainda mais gravosa”, refere em entrevista Pedro Gonçalves Lind, um dos autores do regular article “The Dynamics of Financial Stability in Complex Networks”.

Os cidadãos estrangeiros abrangidos pelos programas “Erasmus Mundus” e “Ciência sem Fronteiras” podem ter autorização de residência em menos de 15 dias e direito à mobilidade no espaço da União Europeia.

Jardim

Através do sistema Concursos pode aceder a mais informações sobre o convite publicado no Jornal Oficial da União Europeia.

Vela

Aos familiares, amigos e colegas a FCUL apresenta as sinceras condolências.

Adultos e criança em atividade da Ciência Viva no Verão

Até 15 de setembro, a iniciativa Ciência Viva no Verão percorre o País organizando mais de 1700 atividades científicas gratuitas para toda a população. As inscrições permanecem abertas até 15 de setembro, de acordo com o calendário de atividades. Nesta altura, já são mais de 20 mil os inscritos.

Nos dias 9 e 10 de Agosto a plataforma Moodle da FCUL vai estar inacessivel devido a uma manutenção de rotina.

As nossas desculpas pelos possiveis incómodos causados.

Liliana Caldeira junto aos posters

A investigação sempre foi um objetivo, que ganhou força após o prémio para melhor poster ser-lhe atribuído numa importante conferência internacional. Até ao final do ano, Liliana Caldeira, aluna de doutoramento em Engenharia Biomédica e Biofísica da FCUL, deverá defender a tese.

Pontos de interrogação

"Aquando da candidatura, o projeto estava numa fase embrionária e foi o Programa de Estímulo à Investigação da FCG que deu força e motivação para avançar”, diz Jocelyn Lochon, um dos vencedores da edição 2011 do Programa de Estímulo à Investigação.

Aluna entrevistada, sentada numa rocha

“O mais importante é saber gerir o tempo, ter alguma disciplina, definir os objetivos a alcançar e não dispersar”. A declaração pertence a Ana Bastos, jovem investigadora da FCUL e uma das vencedoras em 2011 do Programa de Estímulo à Investigação da Fundação Calouste Gulbenkian (FCG).

Cara do aluno entrevistado

“Acredito que o meu projeto vá ter efeitos na área da Saúde Pública. Ainda que não seja já nesta fase, espero poder contribuir para evoluções, por exemplo, ao nível da vacinação”, refere Tomás Aquino, um dos vencedores da edição de 2011 do Programa de Estímulo à Investigação.

A Bial, procura um Bioestatista para a oportunidade de emprego que pode ser visualisada em maior detalhe na página através do link:

Information dissemination in unknown radio networks with large labels

Professor Shailesh Vaya,
Xerox Research Centre, India,

July 20 at 10h00 on room 6.3.38

Páginas