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
Ana Simões, professora da Faculdade de Ciências da Universidade de Lisboa

Professora de CIÊNCIAS diz que vai aproveitar o novo mandato para promover a inclusão e novas metodologias de estudo

Um astronauta olha em frente num jardim ensolarado

Estão abertas, até dia 30 de julho, as candidaturas para a 2.ª edição da Unite! Research School. Esta edição terá como temas a AI e Cibersegurança, Espaço e Tecnologia e Engenharia Biológica.

Cenário reconstituído do sítio de trilhas de Monte Clérigo, gerado por ferramentas de IA.

Um estudo internacional com participação da Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) identificou as primeiras pegadas fossilizadas atribuídas a Neandertais em território português. O artigo agora publicado na revista Nature Scientific Reports, revela que as pegadas descobertas nas praias do Monte Clérigo e do Telheiro, no Algarve, remontam a cerca de 78 a 82 mil anos atrás.

Rafael Hipólito está a tirar o mestrado de matemática

Aluno de mestrado ganhou competição de cálculos integrais e diz que quer seguir a via da investigação. "O número de problemas em aberto na matemática não tem vindo a diminuir, mas sim a aumentar", recorda Rafael Hipólito  

Bernardo Ferreira e Bruno Cotrim foram premiados com o projeto ArchiveChain

Bernardo Ferreira e Bruno Cotrim foram distinguidos na edição de 2025 dos prémios Arquivo.pt

Foto de teclado com teclas adaptadas a símbolos de acessibilidade.

Um estudo internacional liderado por investigadores de Portugal, Polónia e Irlanda alerta para graves lacunas na acessibilidade digital de grande parte das universidades europeias. A investigação, que envolveu a análise de 171 instituições de ensino superior em 38 países, contou com a participação da Faculdade de Ciências da Universidade de Lisboa.

Apresentação de projetos de inovação e investigação

Cada um dos projetos das edições passadas recebeu €50 mil de financiamento

Voluntários, professores e parceiros apresentaram as atividades de Voluntariado Curricular

Apresentação pública revela atividades de alunos de CIÊNCIAS junto de 10 parceiros 

Participantes do Verão ULisboa

Iniciativa da Universidade de Lisboa destina-se a alunos do ensino básico e secundário 

Pedro Matos Soares, Angelina Bushenkova e Gil Lemos (fundadores da Phair Earth)

A empresa liderada pelo professor Pedro Matos Soares vai combinar modelos climáticos globais, dados locais e Inteligência Artificial para apresentar projeções que indicam efeitos negativos das alterações climáticas.

O professor Federico Herrera e a professora Manuela M. Pereira posam junto ao roll-up da iniciativa

O evento, intitulado “Ensino Superior para Estudantes com Dificuldades Inteletuais e desenvolvimentais”, foi organizado pela Associação Pais 21, em colaboração com dois professores da Faculdade de Ciências da ULisboa (CIÊNCIAS), Manuela Pereira e Federico Herrera.

Painel de participantes na conferência

Decorreu entre 3 e 6 de junho de 2025, em Nice, o congresso internacional “One Ocean Science Congress” (OOS2025), um Evento Especial dedicado à Ciência da terceira Conferência das Nações Unidas sobre o Oceano (

Sara Magalhães é professora de CIÊNCIAS

Sara Magalhães, investigadora do Centro de Ecologia, Evolução e Alterações Ambientais na (CE3C), vai assumir a presidência da ESEB até 2029

Prémios Universidade de Lisboa/Caixa Geral de Depósitos distinguem investigadores de CIÊNCIAS

O Pavilhão de Portugal acolheu a 25 de junho a Cerimónia de Entrega da edição de 2025 dos Prémios Universidade de Lisboa/Caixa Geral de Depósitos, nos quais foram distinguidos um total de 10 investigadores da Faculdade de Ci

Evaristo.ai é um agente digital que tem por inspiração uma personagem do Pátio das Cantigas

Evaristo.ai tem por inspiração uma personagem do filme “Pátio das Cantigas”, mas é também o nome do novo agente digital que acaba de ser lançado pelos laboratórios de Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) com o objetivo de voltar a fazer história na língua portuguesa.

Dicas para melhorar o desempenho nos exames nacionais

Com a época de exames a bater à porta, a Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) aproveita para fazer a revisão da matéria dada e revela, pela voz de uma especialista na área, o que podem fazer os estudantes para melhorar o desempenho na hora de responder a um teste.

Cerimónia de entrega de prémios da Semana Verde da UE de 2025

O projeto Life Desert-Adapt ganhou um dos três prémios atribuídos durante a Semana Verde da UE de 2025, numa cerimónia que decorreu a 3 de junho em Bruxelas.

Guardiões do Mar: Tubarões de Cabo Verde

No âmbito das celebrações do Dia Mundial dos Oceanos, o Museu de Arqueologia de Sal Rei, na ilha da Boa Vista, inaugurou no passado dia 6 de junho a exposição “Guardiões do Mar: Tubarões de Cabo Verde”, uma mostra científica e educativa que destaca o papel dos tubarões nos ecossistemas marinhos e alerta para as ameaças que enfrentam. A exposição oferece uma viagem pelo universo destes predadores marinhos, destacando a sua diversidade, biologia e papel crucial nos ecossistemas marinhos

Audiência do evento comemorativo do Dia Mundial da Segurança Alimentar

CIÊNCIAS e a consultora BDO Portugal firmaram um protocolo de colaboração que prevê o desenvolvimento de novos cursos de formação avançada, além de ações de consultoria a empresas, e outras atividades relacionadas. O protocolo foi firmado no passado dia 6 de junho, no âmbito do evento que assinalou o Dia Mundial da Segurança Alimentar, com o mote “Food Safety: Science in Action”.

Os portadores de Trissomia 21 têm lugar no ensino superior

20 de junho: A Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) vai lançar um evento de debate sobre empregabilidade e formação de pessoas com trissomia 21, em parceria com a Reitoria da Universidade de Lisboa, e a Associação Pais 21. A iniciativa vai decorrer no dia 20 de junho no Instituto Interdisciplinar da Universidade de Lisboa, com o título “Ensino Superior para Estudantes com Dificuldades Intelectuais e Desenvolvimentais”.

Foto de grupo dos participantes da sessão de encerramento do curso.

CIÊNCIAS acolheu no passado dia 3 de junho a sessão de encerramento da 4.ª edição do Cybersecurity Executive Program, um curso para executivos que reforça o papel estratégico da instituição na formação e investigação em cibersegurança. O evento, que reuniu cerca de 60 participantes, entre formadores, formandos e convidados, foi marcado por momentos de partilha, reflexão e aplicação prática dos conhecimentos adquiridos.

Regata Solar Sailors Challenge

Sunwave é um catamarã com menos de 50 centímetros de comprimento, mas revelou grande capacidade para transportar os sonhos dos alunos do agrupamento de escolas Vergílio Ferreira, de Lisboa, que venceram, na passada sexta-feira, a competição Solar Sailors Challenge, em pleno campus da Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS).

Foto de dois saramugos.

Um estudo publicado na revista Freshwater Biology demonstrou que cinco populações de saramugo (Anaecypris hispanica), até agora consideradas extintas em Portugal, continuam a deixar vestígios genéticos em vários afluentes do Guadiana.

Foto de António Vaz Pato e Tiago Silva, guardiões da HortaFCUL

Depois de 16 anos a produzir peras, amoras, maçãs, pêssegos ou até bananas, a HortaFCUL garantiu um prémio de 5000 libras (€5.937) atribuído pela empresa LUSH Cosmetics numa cerimónia que decorreu no dia 29 de maio, em Dorset, no Reino Unido.

Foto aérea da Alameda da Cidade Universitária

O ranking CWUR (Center for World University Rankings) posiciona novamente a Universidade de Lisboa (ULisboa) como líder nacional entre as Instituições de Ensino Superior, classificando-a no 218.º lugar a nível mundial, na 79.ª posição na Europa e entre as 1,1% melhores universidades do mundo.

Páginas