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
Marta Temido a dar a medalha a Manuel Carmo Gomes

Manuel Carmo Gomes, professor da Ciências ULisboa, foi um dos especialistas distinguidos com a Medalha de Serviços Distintos – grau Ouro do Ministério da Saúde. A distinção foi atribuída pela ministra da Saúde, Marta Temido, em reconhecimento pelo trabalho desenvolvido no âmbito da resposta à COVID-19.

pessoas a acenar na FCULresta

"Há um ciclo solar transformámos um relvado de 315 m2 no que pretende ser uma minifloresta densa e biodiversa. O que podemos observar passado o primeiro ano? Haverá motivos para celebrar a FCULresta?". Passado um ano desde o lançamento da primeira semente, os membros do projeto fazem um balanço de todo o processo.

Escola de Inverno na Macedónia do Norte

O cientista Tiago Guerreiro foi um dos oradores da “Winter School on e-Health & Pervasive Technologies”, a primeira escola de inverno do projeto WideHealth, e que contou com uma competição de Machine Learning, composta por 11 equipas e na qual o grupo da Faculdade alcançou o 4.º lugar e uma menção honrosa.

Logotipo da rubrica radar Tec Labs

Vigésima segunda rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Neroes.

Maria Helena Garcia e Andreia Valente no laboratório

A Something in Hands - Investigação Científica Lda. (R-Nuucell), spin-off da Ciências ULisboa, vai receber um financiamento de €75.000 para desenvolver um novo medicamento para o cancro de mama triplo negativo.

professor Miguel Centeno Brito e paineis solares no telhado da faculdade

A Schweizer Radio und Fernsehenv, uma emissora de radiotelevisão suíça, esteve em Portugal e conversou com o professor Miguel Centeno Brito sobre energia solar e transição energética em Portugal.

Rita Pestana

Rita Pestana é aluna do 2.º ano do mestrado em Engenharia Física e em março inicia um estágio no Centro de Microanálises de Materiais, em Madrid, no âmbito do seu curso e ao abrigo do Marie Sklodowska-Curie Fellowship Programme da Agência Internacional de Energia Atómica.

Obras no campus da Faculdade

Ciências ULisboa prepara-se para concluir a última fase da requalificação das condutas de distribuição de água aos seus edifícios. Este projeto da responsabilidade do Laboratório Vivo para a Sustentabilidade irá contribuir para a diminuição da pegada ambiental da Faculdade e deverá possibilitar uma poupança significativa das despesas de funcionamento associadas ao consumo de água potável.

Conceção artística da superfície de Vénus

Um estudo publicado na revista Atmosphere, liderado por Pedro Machado, professor do DF Ciências ULisboa e investigador do IA, apresenta o conjunto de medições mais detalhado e completo alguma vez feito, de um observatório na Terra, das velocidades dos ventos em Vénus paralelos ao equador e à altitude da base das nuvens.

Abstrato dourado

A 26.ª edição dos Prémios da Associação Portuguesa de Museologia galardoou “Hortas de Lisboa. Da Idade Média ao século XXI” com o Prémio Exposição Temporária e “Almada Negreiros e o Mosteiro da Batalha – quinze pinturas primitivas num retábulo imaginado” com uma Menção Honrosa do Prémio Investigação.

Logotipo da rubrica radar Tec Labs

Primeira rubrica Radar Tec Labs do ano 2022 dedicada às atividades do Centro de Inovação da Faculdade.

Imagem artística de Proxima d, o candidato a planeta recentemente detetado à volta da estrela anã vermelha, Proxima Centauri, a estrela mais próxima do Sol

Uma equipa liderada por João Faria, antigo aluno da licenciatura de Física da Faculdade e investigador do Instituto de Astrofísica e Ciências do Espaço, detetou um novo planeta à volta da estrela mais próxima do Sol – Proxima Centauri, anunciou o Instituto, na quinta-feira passada, dia 10 de fevereiro.

anfiteatro

Os alunos da Ciências ULisboa inscritos nos exames nos dias 11 e 12 de fevereiro podem realizá-los novamente em época extraordinária. De acordo com a Direção da Faculdade não existem indícios de se ter verificado a existência de um absentismo superior ao normal nas provas de avaliação realizadas nestes dois dias.

Campus da Faculdade

Ciências ULisboa, após contacto da Polícia Judiciária (PJ), colaborou estreitamente no contexto da investigação relacionada com a suspeita de atentado dirigido a estudantes universitários da ULisboa e que levou ao desenlace anunciado esta quinta-feira, dia 10 de fevereiro, pela PJ. A Direção da Ciências ULisboa congratula-se com o impedimento da referida ação.

Tubos de ensaio

Portugal tornou-se o mais recente membro do EU-OPENSCREEN, um consórcio europeu de infraestruturas de investigação para a Química biológica e descoberta inicial de fármacos. A participação portuguesa no EU-OPENSCREEN está integrada no Roteiro Nacional de Infraestruturas de Investigação, através do PT-OPENSCREEN. O CQE e o BioISI são parceiros desta infraestrutura.

Membros da rede MedECC na Sala do Senado na Assembleia da República

Cristina Branquinho, professora do DBV Ciências ULisboa e investigadora do cE3c, participou no 1.º Relatório de Avaliação - Alterações Climáticas e Ambientais na Bacia do Mediterrâneo - Situação Atual e Riscos para o Futuro realizado pela Rede de Especialistas do Mediterrâneo em Alterações Ambientais e Climáticas, distinguida com o Prémio Norte-Sul do Conselho da Europa.

Lisboa Romana | Felicitas Iulia Olisipo foi distinguida com os Prémios APOM 2021 e com os Prémios Património.pt. Esta iniciativa alvo destas distinções contou com a colaboração de cientistas do Departamento de Geologia da Ciências ULisboa e do Instituto Dom Luiz, entre outras entidades.

tela com várias cores coloridas

"Escrever é um ato criativo, ainda que seja sobre uma descoberta científica, um prémio a um investigador, uma empresa de sucesso que aqui nasceu", escreve Marta Tavares, do Gabinete de Jornalismo da Direção de Comunicação e Imagem da Ciências ULisboa. Mais um artigo em jeito de editorial.

Costa coberta de algas

Uma equipa de investigadores da Ciências ULisboa avaliou o desempenho de algoritmos de Inteligência Artificial (IA) destinados a avaliar a resposta fotoquímica de diatomáceas expostas a contaminantes emergentes.

Vinhas geladas na Áustria (leste)

A cientista Ana Margarida Fortes escreve uma crónica sobre a sua experiência em BOKU durante duas semanas, um convite que recebeu com particular entusiasmo.

Francisca Canais e Rita Maçorano

Holi é o nome da mais recente aplicação criada pela Nevaro, uma empresa com berço no Centro de Inovação da Ciências ULisboa, o Tec Labs. A aplicação funciona como um “pequeno cérebro”, que monitoriza a saúde mental do utilizador, ajudando na sua autogestão.

cibersegurança

O Cybersecurity Executive Program, um curso de cibersegurança direcionado para executivos e decisores de organizações públicas e privadas, civis e militares, inicia-se no próximo dia 29 de março de 2022, no formato online, com uma duração total de 25 horas. As inscrições já abriram.

Berço De Gray Newton

“O crescimento da confiança na ciência e nos cientistas é uma tendência mundial”. Mais um artigo em jeito de editorial, da autoria de Marta Daniela Santos e Pedro Almeida.

A colony of tiny ants swarming an area of the patio stone

O cientista José Alberto Quartau escreve um artigo em homenagem ao grande entomologista e lendário biólogo evolucionista, muitas vezes apelidado de novo Darwin e também pai da Biodiversidade, visto ter sido um dos mais apaixonados e eloquentes defensores da diversidade biológica deste planeta.

Hands working with liquids in laboratory

A Câmara Municipal de Lisboa (CML), a Faculdade e a Associação para a Investigação e Desenvolvimento de Ciências (FCiências.ID) inauguram esta quinta-feira, dia 13 de janeiro, o BioLab Lisboa (BLL). Para Luís Carriço, diretor da Ciências ULisboa, "esta iniciativa é crucial para a integração do cidadão no ecossistema de inovação, de modo a que todos juntos possamos produzir o conhecimento que nos ajudará a criar a cidade do amanhã".

Páginas