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

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

Mapa

A FCT e a FAPESP pretendem lançar em 2014 um concurso para projetos de investigação, com equipas conjuntas, em todos os domínios científicos.

Observatório Astronómico

O Edifício das Matemáticas, que faz parte do complexo arquitetónico do Observatório Astronómico, foi também recentemente modelado em 3D por um grupo de alunos da Faculdade de Ciências da ULisboa.

Mais uma visita a uma escola, na região oeste, para uma sessão com duas palestras...

Aberta aos sábados, até às 17h00, entre 7 e 28 de junho.

Ambiente subaquático

O passeio a bordo do galeão ocorre durante a manhã. Os participantes além de recolherem o lixo subaquático também poderão fotografar a biodiversidade. Da parte da tarde estão previstas outras ações como a identificação de sons de animais marinhos, a observação de plâncton à lupa e a recolha de amostras para análises genéticas.

HoliBraille

Diogo Marques e Tiago Guerreiro, investigadores de Ciências, assinam juntamente com outros cinco investigadores o artigo "Augmenting Braille Input through Multitouch Feedback".

2ª fase de candidaturas para o Mestrado em Matemática para Professores: de 18 de Agosto a 3 de Setembro. Este ano iniciar-se-á o ensino em regime de b-learning neste mestrado.

Prémio Jovem Investigador da Sociedade Europeia de Aterosclerose

Ana Catarina Alves, doutoranda do centro BioFIG, distingue-se com o trabalho "Novel functional APOB mutations outside LDL-binding region causing familial hypercholesterolaemia".

Durante o terceiro debate foram apresentados os resultados de um estudo de opinião com incidência em temáticas como a educação para o mar, a Economia verde, a eficiência energética ou a reindustrialização.

Parabéns à Alexandra Symeonides, Fábio Silva, Filipe Gomes, João Dias, João Enes, Pedro Pinto e Sílvia Reis, alunos ou ex-alunos do mestrado em Matemática do Departamento de Matemática de Ciências, pela obtenção duma bolsa de doutoramento LisMath.

Páginas