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

“Livros de Ciências, Ciências em Livros” é a primeira exposição da Galeria Ciências e vai estar patente ao público até 29 de fevereiro de 2016.

Vasco Teixeira/MUHNAC

Um dos sonhos mais antigos da humanidade foi, desde sempre, representar o céu dentro de um espaço fechado. Essa ilusão torna-se realidade nos teatros do espaço e do tempo – os planetários.

Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação para um Mestre no &a

José Maneira trabalhou como postdoc no grupo de Arthur B McDonald, um dos galardoados este ano com o prémio Nobel da Física. O docente do Departamento de Física de Ciências ULisboa, juntamente com a professora Amélia Maio, orientou Nuno Barros, cujo tema da tese de doutoramento incidiu sobre os resultados agora premiados.

Desde 2009 que temos vindo a trabalhar no solo da horta, transformando um solo argiloso bastante paupérrimo no que é hoje.

“Agitar, promover, valorizar, beneficiar o ensino da Geologia em Portugal, captar vocações, atrair mais e melhores estudantes para esta área do conhecimento são os objetivos últimos deste nosso envolvimento. As medalhas são um prémio e um instrumento, não um fim em si”, diz em entrevista Jorge Relvas, professor do Departamento de Geologia de Ciências.          

A iniciativa é gratuita, mas implica prévia inscrição.

Na sequência da publicação do 

O artigo “Hazard potential of volcanic flank collapses raised by new megatsunami evidence” é publicado online a 2 de outubro de 2015, na Science Advances, uma nova revista do grupo editorial Science e reacende o debate que dura há algumas d&ea

A Biblioteca de Ciências alerta para a necessidade de salvaguardar informação guardada na área do atual serviço.

A propósito do quarto aniversário da morte do P.

O Dia Europeu das Línguas celebra-se a 26 de setembro.

André Borges e João Gomes

De manhã tínhamos quatro horas de aulas de mandarim e depois do almoço, seguia-se o programa cultural, que consistia em aulas e visitas programadas de forma a permitir uma melhor compreensão da realidade chinesa.

A obra, editada em 2015 pela Lambert Academic Publishing, é apresentada ao público na Reitoria da ULisboa.

A AGRINATURA é uma associação que reúne 30 universidades e unidades de investigação europeias.Todos os seus membros desenvolvem sinergias e mobilizam recursos para acompanhar os projetos que estão a decorrer em todo o mundo. 

INForum - Simpósio de Informática

Radu Onica, aluno de mestrado do Departamento de Informática (DI) da Faculdade de Ciências ULisboa e membro do LaSIGE, venceu o Prémio Melhor Artigo do INForum - Simpósio de Informática.

O Instituto Nacional de Saúde Doutor Ricardo Jorge (Instituto Ricardo Jorge), Departamento de Epidemiologia e Departamento de Doenças Infeciosas, abriu Concurso para a atribuição de uma Bolsa de Investigação Científica – 1

Henrique Leitão

Este é o terceiro prémio atribuído à exposição “360º Ciência Descoberta”, organizada pela Fundação Calouste Gulbenkian e comissariada cientificamente por Henrique Leitão, investigador de Ciências ULisboa.

Encontram-se a decorrer vários procedimentos concursais, para técnico superior, para o Instituto da Conservação da Natureza e das Florestas (ICNF).

A atividade tem como objetivo consolidar os conhecimentos dos docentes relacionados com os sistemas de numeração, os algoritmos do cálculo elementar e o conceito de logaritmo.

“Com um simples azulejo” é uma iniciativa do Departamento de Matemática da Faculdade de Ciências ULisboa dirigida a alunos dos 1.º e 2.º ciclos do ensino básico e visa explorar transformações geométricas no plano.

Páginas