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
Coleção de culturas

Este é um exemplo de como as coleções biológicas, enquanto infraestruturas científicas, podem ser instrumentais para o avanço da ciência e no potenciar e estreitar de parcerias transversais.

 A Exigo Consultores, 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 estatística, procura

Parabéns ao aluno Pedro Lencastre, da edição de 2012/2013 do mestrado em Matemática Financeira da Faculdade de Ciências da ULisboa e do ISCTE-IUL, que ganhou uma bolsa da Global Association of Risk Professionals (GARP) para a elaboração da sua tese de mestrado na área de riscos financeiros.

alumna de Ciências e investigadora da ULisboa, galardoada este ano com o Portuguese Young Chemists Award, procura descobrir um fármaco que venha a ser útil à sociedade.

No âmbito de uma parceria estabelecida entre a Faculdade de Ciências da Universidade Agostinho Neto (FCUAN) e a Faculdade de Ciências da Universidade de Lisboa (FCUL), teve início em abril de 2014 o Mestrado em Microbiologia Aplicada da FCUAN

No âmbito de uma parceria estabelecida entre a Faculdade de Ciências da Universidade Agostinho Neto (FCUAN) e a Faculdade de Ciências da Universidade de Lisboa (FCUL), teve início em abril de 2014 o Mestrado em Microbiologia Aplicada da FCUAN

A segunda edição do FCUL Rally Pro realizou-se na tarde de 2 de julho.

De 7 de julho a 5 de setembro de 2014 as bibliotecas do C4 e do C8 têm alteração no horário de funcionamento.

Pedro Garret, Investigador de Ciências

A informação com possíveis cenários climáticos até ao final do século já está disponível para consulta de autarquias, responsáveis por licenciamentos de obras, proprietários que queiram construir e autoridades de proteção civil.

Alunos no campus de Ciências

“Quem não gostaria de gerir uma empresa sem o verdadeiro risco mas, ainda assim, de uma forma bastante realista?”, questiona João Guilherme Rodrigues, aluno de Ciências e um dos 21 concorrentes da Faculdade ao Global Management Challenge (GMC).

Qual é a maior alegria de um professor? Para a maioria é com certeza o bem-estar e o sucesso dos seus alunos.

Escolha de Ramo em Geologia / 2014

Listas definitivas divulgadas em 23 de Julho de 2014.

Helder Coelho, professor do Departamento de Informática da FCUL e um dos investigadores fundadores da Inteligência Artificial

“Tenho pensado em fazer um curso, uma formação extra virada para a área da Energia, não só para ajudar os meus alunos mas também por mim, por satisfação, para aprender”, conta Carlos Paulino, professor do ensino secundário.

Anfiteatro da Escola de Ciências

Universidade do Minho

Departamento de Biologia

23 a 26 de Junho

 

 

A Thomson Reuters alerta para a interrupção de serviços.

 “O mar tomou-se de repente muito novo e muito antigo”

O MARE organizou uma viagem a bordo de um Galeão para dar a conhecer a fauna local do Parque Marinho do Parque Natural da Arrábida. No total, 100 pessoas participaram nas iniciativas de comemoração do Dia Mundial do Ambiente organizadas por este centro.

Gostava de fazer um estágio aplicando os conhecimentos de Estatística Aplicada à área de Recursos Humanos? A Ernst & Young lança proposta.

Cátia Raminhos e Jorge Santos, estudantes do mestrado em Engenharia Informática de Ciências, lançaram uma plataforma de partilha de informação dedicada ao autismo e que já chegou a 33 países.

Orador: Ivana Ljubic (University of Vienna)

 

Título: The Recoverable Robust Facility Location Problem

 

O desafio está lançado: experimentar, na primeira pessoa, a realidade da investigação científica na Faculdade de Ciências da Universidade de Lisboa e conhecer por dentro o campus universitário e os seus laboratórios, de 21 a 24 de julho.

Denís Graña e José Sebio desenvolveram este projeto no âmbito da disciplina de Aplicações na Web do mestrado em Engenharia Informática de Ciências.

O Centro de Investigação Operacional realizará no dia 19 de junho, quinta-feira, às 14H30, na sala 6.4.31, um Seminário intitulado The Recoverable Robust Facility Location Prob

Páginas