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
Imagem editada pelo DI

O projeto "Lusica - Artistas musicais lusófonos", desenvolvido pelos alunos de mestrado do Departamento de Informática de Ciências -  Carlos Barata, Farah Mussa, Gabriel Marques, Mónica Abreu e Rafael Oliveira - , no âmbito das di

Campus Solar de Ciências já tem uma página online! Quantos são os que passam todos os dias por ele e não sabem o que é?…

Energias renováveis

O Departamento de Engenharia Geográfica, Geofísica e Energia organiza a 27 de março, entre as 12h00 e as 13h00, na sala 8.2.47, no campus de Ciências, o seminário "Energias fósseis, o que temos e para onde vamos", proferido por Nuno Pimentel, docente do Departamento de Geologia de Ciências e investigador do Centro de Geologia da Universidade de Lisboa, desde 1989.

Ensino da Paleontologia: Novas abordagens

Candidaturas online abertas até 31 de Março!

No Dia do Patrono da Escola Secundária Stuart Carvalhais, Ciências participou nas atividades científicas da instituição com a presença de elementos dos Departamentos de Física e de Química e Bioquímica.

Pode a eficiência energética induzir práticas que levam a um aumento do consumo de energia por parte das famílias?

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.

Páginas