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
Otília Correia

As sociedades actuais atribuem aos bosques uma série de funções para além da sua função produtora, incluindo as clássicas como o controlo hidrológico e protecção contra a erosão, valorizam-se actualmente e cada vez mais pelo seu uso recreativo, e de conservação da biodiversidade e da paisagem, e armazenamento de carbono.

Pormenor do cartaz do concurso “Belas-Artes Liga Mouraria”

Caue Sarabia, aluno da licenciatura em Tecnologias de Informação e Comunicação do Departamento de Informática de Ciências, a fazer um minor na Faculdade de Belas-Artes da Universidade de Lisboa, participou no concurso “Belas-Artes Liga Mouraria”, com o projeto Mudéjar, conjuntamente com mais três alunos daquela faculdade.

HisParc: Bringing physics to your neighbourhood

O projeto tem como objetivo envolver a sociedade no processo de investigação da área da Física, através da integração de detetores de raios cósmicos em universidades, escolas secundárias e museus.

Logotipos

A app teve origem no projeto QREN World Search, no qual participam Carlos Teixeira e Ana Luísa Respício, professores do Departamento de Informática da FCUL, bem como Ivo Madruga, ex. aluno do DI e Bernardo Santos, que é aluno do DI.

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.

Páginas