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
Voluntárias da HortaFCUL mondam ninhos de plantas no Bioilhas@MARE

A HortaFCUL celebrou 15 anos de existência no ano passado. O relatório de atividades de 2024 da HortaFCUL já está disponível para leitura.

Foto de Luís Ferreira, Reitor da ULisboa, a discursar na cerimónia de entrega dos Prémios Científicos Universidade de Lisboa/CGD 2024.

Estão a decorrer as candidaturas para a edição de 2025 dos Prémios Científicos Universidade de Lisboa / Caixa Geral de Depósitos.

Fernando Vaz Dias

No dia 13 de janeiro, o Cientista regressou à escola, desta vez em Proença-a-Nova, para mostrar de quantas cores se pinta uma planta.

Foto de atividade didática realizada.

No passado dia 4 de dezembro de 2024, a Oficina das Energias | Núcleo de Estudantes de Engenharia da Energia e Ambiente de CIÊNCIAS, a convite da Ciência Viva, esteve no Clube Ciência Viva do Bairro da Cova da Moura a realizar o seu workshop “Carrinhos Solares”.

Nuno Garcia nomeado Presidente do Conselho de Administração da FCiências.ID

Nuno Garcia dos Santos, Professor Catedrático do Departamento de Física de CIÊNCIAS, foi nomeado Presidente do Conselho de Administração da FCiências.ID para o mandato de 2025 a 2028. 

Primeiro retiro científico do programa Gulbenkian Novos Talentos junta bolseiros de CIÊNCIAS

O primeiro retiro científico desta edição do programa Novos Talentos da Fundação Calouste Gulbenkian aconteceu em dezembro, em Coimbra, e os bolseiros de CIÊNCIAS, acompanhados dos seus tutores, tiveram oportunidade de participar e partilhar experiências e conhecimento.

José Francisco Rodrigues eleito presidente da Academia das Ciências de Lisboa

José Francisco Rodrigues, matemático e professor catedrático de CIÊNCIAS, foi eleito Presidente da Academia das Ciências de Lisboa (ACL) para o biénio 2025-2026.

Carlos Antunes, professor de CIÊNCIAS

Carlos Antunes, professor de CIÊNCIAS, refere que foi superado “o segundo maior valor de nível médio do mar (NMM) de 23,2 centímetros, registado em 2022”.

Foto de Paulo Costa

O Diário de Notícias (DN) convidou Paulo J. Costa do Instituto de Biossistemas e Ciências Integrativas (BioISI) e outros três cientistas de renome a ponderarem como a inteligência artificial (IA) e a tecnologia vão influenciar as suas áreas de investigação em 2025 e no futuro.

Foto de Luís Carriço, Diretor de CIÊNCIAS.

Luís Carriço aceitou o desafio do Jornal de Negócios e foi um dos 184 líderes nacionais a partilhar as suas perspetivas para 2025.

Foi_assim_que_aconteceu

Graças à nossa comunidade, CIÊNCIAS não parou e... Foi Assim Que Aconteceu.
Reveja alguns dos momentos e fique connosco.

Foto de Nuno Bandeira.

Nuno Bandeira, químico teórico do Instituto de Biossistemas e Ciências Integrativas (BioISI) de CIÊNCIAS, publicou um artigo na Nature Communications em que reafirma o conceito de “ligação química coletiva”

Banner Um ano de CIÊNCIAS em 90 Segundos.

O programa 90 Segundos de Ciência é um projeto de divulgação científica que desde 2016 dá voz aos investigadores portugueses em minuto e meio.

Telescópio Nancy Grace Roman, da NASA.

O telescópio espacial Roman tem uma contribuição da Agência Espacial Europeia, que selecionou para uma das comissões do consórcio norte-americano um investigador do Instituto de Astrofísica e Ciências do Espaço pela sua experiência no Consórcio Euclid.

Conceção artística do telescópio de raios X Athena.

A Agência Espacial Europeia aprovou o primeiro protótipo de um sistema de precisão para o maior telescópio nos raios X, desenvolvido por uma equipa liderada pelo Instituto de Astrofísica e Ciências do Espaço.

Foto de Inês Barroso.

Inês Barroso, alumna de CIÊNCIAS e professora na Universidade de Exeter no Reino Unido, figura na 570.ª posição do Best Female Scientists in the World Ranking da Research.com.

Foto da audiência da Sessão Especial de Natal de CIÊNCIAS.

A 12 de dezembro realizou-se a 1.ª edição da Sessão Especial de Natal de CIÊNCIAS, uma iniciativa dedicada a sensibilizar toda a sociedade, em especial os jove

Última lição de Pedro Miranda, professor de CIÊNCIAS, em sessão de homenagem de jubilação

No dia 11 de dezembro, a biblioteca José Pinto Peixoto do Instituto Dom Luiz (IDL) encheu-se de caras amigas, colegas e ex-alunos para receber a última lição de Pedro Miranda, professor catedrático de CIÊNCIAS e ex-diretor do IDL.

Universidade de Lisboa recebe o Selo de Qualidade Academia Voluntária

No dia 5 de dezembro, a Universidade de Lisboa recebeu o Selo de Qualidade Academia Voluntária, prémio atribuído pela Cooperativa António Sérgio para a Economia Social (CASES).

Equipa HortaFCUL.

Depois da construção do anfiteatro da FCULresta com pedras de um aterro do Estádio Universitário, a HortaFCUL foi em outubro à Faculdade de Medicina de Lisboa (FMUL) em nova missão de resgate.

O Talent Bootcamp veio a CIÊNCIAS e não podia ter sido um sucesso maior!

Nos dias 6 e 7 de dezembro teve lugar em CIÊNCIAS, a 223.ª edição do Talent Bootcamp que contou com 195 bootcampers inscritos, 107 alunos de CIÊNCIAS e também 174 profissionais de 119 empresas.

O escalo-do-sado foi identificado como uma espécie endémica da bacia do Sado

Sofia Mendes, doutoranda de CIÊNCIAS, no Centro de Ecologia, Evolução e Alterações Ambientais (CE3C), é a principal autora do artigo científico publicado recentemente que revela a descoberta de uma nova espécie de peixe de água doce.

João Sequeira na oficina do Cientista Regressa à Escola.

No dia 5 de dezembro, João Sequeira visitou a Escola Básica São João de Brito, escola onde estudou, e uma outra, a Escola Básica Teixeira de Pascoais, para ensinar alunos de duas turmas do 4.º ano tudo sobre a magia de fazer simulações em computador.

Comissão Externa de Aconselhamento de CIÊNCIAS

Em 2024, CIÊNCIAS mantém-se no topo do desempenho científico nas suas áreas de atuação, com a investigação e ensino fundamentados no conhecimento científico.

Participantes do Nighttime Lettter Writing falam em círculo

No dia 21 de novembro, CIÊNCIAS acolheu a primeira edição portuguesa do Nighttime Letter Writing, um evento de escrita de cartas à mão a apelar a doações para alunos com carências económicas.

Páginas