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
Henrique Costa

Henrique Regateiro Machado e Costa faleceu no passado dia 14 de Fevereiro.

Secção Autonoma de História e Filosofia das Ciências da FCUL

Hasok Chang, Prémio Fernando Gil

A RIGC – Rede de Informação da Indústria do Grande Consumo, empresa de consultores especializada na realização de trabalhos de consultoria n

Consulte as ofertas de emprego do Departamento de Estatística e Investigação Operacional.

A empresa Grupo Actuarial oferece estágios remunerados na área da Estatística/Probabilidades ou Matemática.

Para mais informações consultar:

RIGC – Rede de Informação da Indústria do Grande Consumo, empresa de consultores especializada na realização de trabalhos de consultoria na área de do Grande Consumo procura Analista de Dados Júnior(m/f).

Maksen é uma multinacional organizada em unidades de negócios, a fim de prestar serviços de consultoria em estratégia e redes de negócios, sistemas de informação, engenharia e comunicação e neste momento procura

Das 121 candidaturas admitidas para avaliação no âmbito do concurso para a criação do Rnie, somente 54 foram recomendadas a integrar o roteiro, dez delas incluem a presença de Ciências, sendo que cinco são lideradas por investigadores da faculdade.

Maria Helena Florêncio, Jorge Miguel Miranda, Henrique Cabral e António Branco apresentam infraestruturas de investigação de interesse estratégico para Portugal.

Gonçalo Costa Gomes Amaral

"Não se deve deixar que a sua memória seja esquecida, pois é através de tudo o que ele passou e viveu entre nós que vai continuar a viver e a iluminar tudo aquilo que fizermos", declararam em comunicado a AEFCL e o Conselho de Veteranos de Biologia.

A empresa Grupo Actuarial oferece estágios remunerados na área da Estatística/Probabilidades ou Matemática.

Mapa

A recomendação de inclusão da Clarin Portugal no Roteiro Nacional de Infraestruturas de Investigação de Interesse Estratégico (Rnie) representa um passo da maior importância para a internacionalização da língua portuguesa e para a sua preparação para a era digital. 

O Seminário Diagonal realiza-se dia 17 de março, pelas 18h00, na FCUL, no anfiteatro 6.2.53.

Henrique Cabral

Investigadores de seis universidades portuguesas criam novo centro de investigação em ciências marinhas: o Mare.

Candidaturas decorrem até 21 de março de 2014.

Após as audiências pública e privada dos candidatos a diretor, o Conselho de Escola elegeu com maioria absoluta, no dia 26 de fevereiro, a candidatura do professor do Departamento de Química e Bioquímica, frisando na ocasião “o empenho de ambos os candidatos no enriquecimento da discussão e definição dos problemas e desafios que a FCUL enfrenta”.

Jornadas e-Planning

“O objetivo das jornadas é refletir e debater as grandes prioridades e desafios societais que enfrentamos”, diz Pedro Ferraz de Abreu, dinamizador da iniciativa.

Filipe Duarte Santos aceitou coordenar a equipa que vai avaliar a estratégia de gestão da zona costeira nacional, “porque é um serviço para o meu país numa área em que tenho algum conhecimento e experiência”, na sequência do convite feito pelo ministro do Ambiente, Jorge Moreira da Silva.

Ciências em Movimento - Laboratório Biologia Animal

“Não conhecia a Faculdade e estou a gostar. Nunca tinha aberto um peixe! Acho que é importante fazer parte deste tipo de iniciativas para que quem queira seguir [a área das ciências], tenha contacto com a realidade antes de fazer a sua escolha”, declarou Alexandra Monteiro, aluna do 12.º ano de Biologia da Escola Secundária Dona Filipa de Lencastre.

O Departamento de Estatística e Investigação Operacional apresenta uma oferta de emprego.

O artigo científico com o título "Chord-based Correction for Multitouch Braille Input" recebeu o prémio de Melhor Artigo Científico na Conferência CHI 2014.

O Prof. Nuno Neves é o novo prof. Associado com Agregação do Departamento de Informática da FCUL.

Henrique Leitão

Quem cultiva a terra sabe que os pepinos devem ser podados, para que possam crescer sem rama e com um gosto agradável. Quem trabalha com as comunidades do pré-escolar e dos ensinos básico e secundário deve ter cuidados semelhantes aos dos agricultores. Despertar o gosto pelas ciências, seja em que contexto for, é sempre uma boa prática.

Páginas