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

O PAPSummer é o mais recente projecto da PAPS (Portuguese-American Postgraduate Society) e tem como objectivo dar a oportunidade e o privilégio a estudantes portugueses do ensino superior de realizar um estágio, com a duração de 4 semanas, em un

As coberturas ecológicas apresentam diversas vantagens, como por exemplo, a retenção da precipitação e a redução do efeito de ilha de calor, contribuindo para uma melhor qualidade de vida nas cidades.

Ao evocar o Terramoto de 1755, pretende-se ir construindo uma cultura de prevenção nos caminhos de Lisboa e, com isso, aumentar a resiliência e a segurança da capital face aos riscos de catástrofes. Ao passar pelo Campo Grande, o mote é o mesmo: “Ciências Faculdade + Resiliente + Segura”.

O Departamento de Engenharia Geográfica, Geofísica e Energia (DEGGE) de Ciências da ULisboa realiza um seminário sobre mobilidade sustentável no dia 19 de março de 2015.

À semelhança do que tem acontecido nos últimos anos, o Departamento de Química e Bioquímica de Ciências da ULisboa promove a realização de ações de formação para professores dos ensinos bá

O CVUniversitário é um curso teórico e prático de voluntariado universitário que pretende promover competências em voluntariado e contribuir para a implementação, disseminação e reconhecimento desta práti

A Exigo Consultores é uma empresa de consultoria em actividade desde 2001, focada na consultoria para o sector de saúde, principalmente a consultoria em economia da saúde, epidemiologia, análise matemática e esta

Se és Licenciado em Estatística Aplicada, Matemática Aplicada ou Matemática ou se és finalista de algum destes cursos, o Grupo Actualial pode ter a oferta de emprego que procuras.

Desvendado mistério com mais de meio século na atmosfera de Vénus.

Os painéis fotovoltaicos e a cobertura ecológica são dois exemplos de ações que visam a sustentabilidade do nosso campus e que podem ser replicadas noutros locais do país.

A Auchan Portugal Hipermercados pretende admitir Técnico de Reporting.

EU Joint Programme – Neurodegenerative Disease Research

A Unidade de Expressão Génica e Regulação do BioISI integra um dos dez consórcios europeus financiados pelo projeto “Common RNA-dependent pathways for motor-neuron degeneration in spinocerebellar muscular atrophy and amyotrophic lateral sclerosis”.

Dia 25 de Fevereiro, na Sala de Conferências da Reitoria da Universidade de Lisboa, das 10h00 às 12h30

A Bioenergetics, a equipa de Ciências da ULisboa, chegou à final do Leadership Tournament, venceu o desafio intermédio lançado pela SDG e prepara-se para participar na próxima edição do Global Management Challenge (GMC).

O Colégio Doutoral Mente-Cérebro tem como objetivo potenciar a capacidade organizacional, científica, formativa e técnica da Universidade de Lisboa (UL) no estudo da mente e do cérebro. O Colégio encontra-se aberto a todos os colegas com atividade nesta área que se proponham integrá-lo.

A. M. Galopim de Carvalho

2015 é o Ano Internacional dos Solos. O recurso fundamental à sobrevivência da humanidade surgiu no Silúrico superior, há cerca de 425 milhões de anos.

A Divisão de Ciências Físicas e Engenharia da King Abdullah University of Science and Technology (KAUST) está a oferecer oportunidades de estágios remunerados para estudantes, no seu campus da Arábia Saudita.

Pedro Veiga

Existem muitas tecnologias para aumentar a segurança no mundo dos computadores, mas muito mais importantes são os comportamentos de cada utilizador, em especial quando usam as populares e “gratuitas” aplicações.

SemEval 2015

André leal, aluno do mestrado em Engenharia Informática do Departamento de Informática (DI) de Ciências da ULisboa, obteve a segunda posição na SemEval-2015.

O "Enforcing Kids", projecto levado a cabo pelos alunos Cátia Raminhos e Jorge Santos, alunos de mestrado da FCUL, volta a

Bolsas LisMath

O Programa LisMath vai atribuir oito bolsas de doutoramento. As candidaturas terminam a 31 de março de 2015.

 

A Faculdade de Ciências da ULisboa, a Universidade Católica Portuguesa, o Fórum Empresarial da Economia do Mar e a Sociedade de Avaliação Estratégica e Risco assinaram a 3 de fevereiro de 2015 um protocolo de cooperação destinado a lançar a MARE STARTUP.

Páginas