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

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.

Pedro J. Freitas

António Bivar, Pedro J Freitas e Rogério Martins são alguns dos oradores do

A biblioteca do C4 reabre dia 9 de setembro, com o seguinte horário das 9h00 às 17h00. A partir dessa data também a biblioteca do C8 passa a ter o horário habitual das 10h00 às 17h00. Com o iníci

As fichas de inscrição estão disponíveis no site da faculdade e devem ser enviadas por email até dia 16 de setembro. 

Inscrições 2015/2016

A candidatura à 2.ª fase do concurso nacional de acesso termina a 18 de setembro.

Marta C. Lourenço

O projeto Riscar o Mundo conta com uma equipa interdisciplinar portuguesa e brasileira, incluindo investigadores da Faculdade de Ciências da ULisboa.

A Faculdade de Ciências da ULisboa e a PME portuguesa HF, Higher Functions - Sistemas Informáticos Inteligentes fazem parte do consórcio.

A Unidade de Epidemiologia do Instituto de Medicina Preventiva e Saúde Pública da Faculdade de Medicina da Universidade de Lisboa pretende recrutar um Estatístico para integrar a equipa de investigação na área da saúde e de

A energia fotovoltaica e as suas aplicações estiveram em foco em mais uma iniciativa destinada a comemorar o Ano Internacional da Luz. O ciclo Noites de Ciências, Noites de Luz continua em setembro.

A biblioteca do C8 está aberta todos os dias úteis das 9h00 às 17h00.

Os representantes nacionais da Ação COST FAST liderada pelo CERN são da ULisboa. Um deles - Pedro Almeida - coordena um dos cinco grupos de trabalho.

Páginas