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

Partilhar o fascínio da investigação em Astronomia com crianças dos 7 aos 12 anos é um dos objetivos da iniciativa IAstro Júnior, quatro sessões gratuitas, em Lisboa e no Porto, organizadas pelo Instituto de Astrofísica e Ciências do Espaço e pela revista Visão Júnior.

António Branco, professor do Departamento de Informática de Ciências, volta a coordenar uma nova investigação em tradução automática profunda, desta vez entre Chinês e Português, no domínio das transações de compra e venda online.

Quando falamos de um mecanismo o que queremos dizer de facto?

O Nutriageing é um projeto a pensar nos cidadãos que se interessam por temas como nutrição, partindo de argumentos científicos simples. O seu site é composto por vídeos, receitas, explicações e dicas nutricionais.

Um novo estudo genético demonstra que as populações de duas espécies de golfinhos (Tursiops aduncus e Sousa spp.) que habitam as águas da Baía de Bengala, no Bangladesh, são diferentes do ponto de vista genético quando comparados com populações de golfinhos das mesmas espécies que vivem em áreas vizinhas.

Teresa Graça Costa Antunes Pereira da Costa, professora aposentada do Departamento de Biologia Vegetal (DBV) e ex-membro do antigo Centro de Biologia Ambiental de Ciências, faleceu aos 69 anos, no dia 23 de janeiro de 2017. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos seus familiares, amigos e colegas.

Novo estudo demonstra pela primeira vez que é possível integrar à escala global os resultados obtidos através dos dois métodos mais utilizados no mundo para avaliar a “saúde” dos ecossistemas a partir dos líquenes que neles se encontram.

A 7.ª cadeira funcionou pela primeira vez no ano letivo de 1840/1841, caracterizando-se pela abordagem histórico-natural das matérias lecionadas que pouco se modificaram ao longo dos anos.

O ESNF2017 é o primeiro simpósio europeu dedicado apenas ao tema nanofluidos. Os organizadores pretendem que este momento fomente a colaboração entre cientistas, engenheiros e empresas.

Está a nascer um laboratório vivo de permacultura (PermaLab) na FCUL, uma zona que convida a implementação de projetos propostos pela permacultura e sua monitorização com metodologias científicas.

Maria Isabel Cordeiro Sevinate Pinto Rebelo Lopes, professora aposentada do Departamento de Biologia Vegetal e ex-membro do antigo Centro de Biologia Ambiental de Ciências, faleceu aos 67 anos, no dia 12 de janeiro de 2017. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos seus familiares, amigos e colegas.

O que fazem e o que pensam alguns membros da comunidade de Ciências? O primeiro Dictum et factum de 2017 é com Ânia Finuras, bolseira de gestão da Área de Comunicação e Imagem de Ciências.

Adaptar para a mudança. Este foi o lema do AdaptForChange, um projeto que teve início em abril de 2015 e que ao longo de quase dois anos contribuiu para um conhecimento profundo do estado das florestas do Alentejo e que culminou com o desenvolvimento do Plano de Adaptação de Mértola às Alterações Climáticas, a implementar nos próximos anos.

Cerca de 2783 árvores, arbustos e herbáceas vão ser plantados no Estádio Universitário, até ao próximo mês de março.

O recente falecimento abre mais uma lacuna na geração dos cientistas e professores que muito contribuíram para o desenvolvimento da Química em Portugal.

Maria Inês Correia Gonçalves Macias Marques, professora aposentada da Faculdade de Ciências da Universidade de Lisboa, faleceu aos 79 anos, no dia 1 de janeiro de 2017. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos seus familiares, amigos e colegas.

Inseridos no Programa de Atividades Conjuntas, do Programa Operacional Competitividade e Internacionalização , o IBEB e o BioISI de Ciências – em conjunto com outros grupos nacionais -, vão explorar o conhecimento acerca do cérebro.

O grupo de investigadores da Masaryk University, na República Checa; da Mykolas Romeris University, na Lituânia; das universidades Politécnica de Madrid e de Oviedo, em Espanha; do Centro de Estudos Geográficos do Instituto de Geografia e Ordenamento do Território e do Instituto Dom Luiz analisaram a evolução da temperatura nas dez estações da Península Antártica desde o início da década de 1950 até 2015.

Através de trabalho de campo detalhado na ilha de Santa Maria, nos Açores, investigadores descobriram elementos importantes para a compreensão da origem e evolução de ilhas vulcânicas.

O projeto RESISTIR iniciou-se em abril deste ano e visa criar até abril de 2019 um sistema de informação - inovador, modular, inteligente e adaptável - para apoiar a tomada de decisão clínica no domínio da vigilância epidemiológica, resistência aos antimicrobianos, controlo de infeção e gestão hospitalar.

O ClimAdaPT.Local coordenado pelo grupo CCIAM do cE3c chegou ao fim.

Ciências é oficialmente membro associado do Laboratório de Instrumentação e Física Experimental de Partículas. Para além disso, em 2017 a sede vai ficar mais próxima dos cientistas desta instituição.

No ensino universitário normal o aproveitamento/rendimento escolar é também motivo de preocupação em muitos países europeus, embora existam países onde esse rendimento se aproxima dos 100%. Em termos económicos, facilmente se percebe que quanto maior for a taxa de aprovação dos alunos, menor a desistência e a reprovação, mais justificadas estão as verbas públicas  (provenientes dos impostos) que o Estado investiu no sector da educação.

“Os valores associados ao desporto são complementares aos que são necessários para o sucesso académico”, diz Matilde Fidalgo, aluna de Ciências e jogadora de futebol da seleção feminina portuguesa.

Antes de se aposentar em 2014 a Ana Monteiro trabalhou na Biblioteca da FCUL durante alguns anos. Ontem, dia 15 de dezembro, faleceu.

Páginas