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
LaSIGE 2015 Workshop

O LaSIGE 2015 Workshop realiza-se no dia 7 de novembro, entre as 14h00 e as 19h00, no auditório da Fundação da FCUL.

Em Ciências ULisboa há uma disciplina, desenvolvida em parceria com o ISCTE-IUL, que ajuda os estudantes a conceber ideias de negócio. As inscrições decorrem até dia 23 de outubro.

Susana Custódio

A "animação" mostra a vibração do solo registada em Mafra durante um sismo de magnitude 6 (M6) ocorrido ao largo do cabo de S. Vicente.

O Departamento de Estatística e Investigação Operacional (DEIO) associa-se a esta celebração a nível mundial, promovendo várias iniciativas destinadas a divulgar a Estatística não só aos alunos mas também a toda a restante comunidade de Ciências.

Programa

José Madeira

A palestra de entrada livre visa divulgar os resultados de um estudo publicado recentemente na Science Advances e para a necessidade da sociedade melhorar a sua capacidade de resiliência.

Participação da equipa portuguesa nas IESO 2015

A semana de 13 a 20 de setembro de 2015 será algo que nenhum de nós jamais irá esquecer. Tivemos a oportunidade de, pela primeira vez na vida, participar numa competição internacional, a International Earth Science Olympiad (IESO), na qual nunca nenhum estudante português tinha participado. O riquíssimo programa desta competição englobou momentos de turismo, de convívio, de projetos e, claro, de provas. Vamos, agora, contar-vos a nossa experiência…

O Gabinete de Mobilidade, Estágios e Inserção Profissional e o GAPsi, em colaboração com as empresas Galp Energia, Accenture e Jerónimo Martins promovem na Faculdade de Ciências da ULisboa um evento de empregabilidade subordinado ao tema “Estágios Profissionais – o que procuram as empresas?”.

“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.

Páginas