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

Estão abertas três vagas para bolseiros para a Unidade de Informática

Imagem do professor J. Sebastião e Silva

O Departamento de Matemática da FCUL apresenta obras selecionadas de personalidades da nossa história, nomeadamente os Compêndios de Matemática e os respetivos Guias para professores de José Sebastião de Silva, cujos direitos patrimoniais foram cedidos à Faculdade por um período de 30 anos.

Devido a uma avaria no equipamento de Videoconferência, o serviço encontra-se interrompido por tempo indeterminado. Pedimos desculpa pelo incómodo causado.

Alunos aguardam a sua vez na fila para as inscrições

Este ano, durante a 1.ª fase de inscrições, foi realizado um inquérito a 845 estudantes. De acordo com os resultados obtidos, o reconhecimento da competência científica (25%), a localização (22%) e a nota de candidatura (22%), foram determinantes na escolha da FCUL.

Abertura de Concurso para uma posição de substituição de Doutor Ciência na CFNUL na área Física Nuclear – Reações Nucleares, ver anúncio em http://www.eracareers.pt/opportunities/index.aspx?task=global&job

A FCUL dá as boas-vindas aos novos alunos, após o arranque do novo ano letivo, a 17 de setembro.

Filipe Duarte Santos - Professor Catedrático e Jubilado do Departamento de Física e Director do SIM

Imagem de perfil de Maria Filomena Camões, professora do DQB-FCUL

Maria Filomena Camões, professora do Departamento de Química e Bioquímica da FCUL, assina um artigo sobre a criação do Instituto Nacional de Metrologia da Colômbia e a inauguração de um laboratório do qual é madrinha.

Guiomar Evans - Prof. Auxiliar do Departamento de Física e Investigadora do Centro de Física da Matéria Condensada

A missa do 30.º dia em memória de José Manuel Pires dos Santos, professor aposentado do Departamento de Informática da FCUL, realiza-se a 11 de setembro, pelas 19h00, na Igreja da Luz, em Carnide.

Toda a morte, mesmo a anunciada, é uma surpresa. Um misto de espanto e de descrença como se não fosse possível acontecer.

As actividades da Semana Zero do DEGGE têm lugar nos dias 12, 13 e 14 de Setembro.

Bolsas Universidade de Lisboa / Fundação Amadeu Dias

Em cinco anos, a UL e a FAD apoiaram 134 projetos. A Faculdade de Ciências distingue-se com o maior número de alunos e respetivos trabalhos distinguidos, setenta.

Apresentações públicas do Programa de Doutoramento em Biologia

Apesar do próximo ano letivo começar já dia 17 de setembro, a FCUL ainda está a receber candidaturas de alunos interessados nos seus cursos pós-graduados.

Centro de Dados da FCUL

Tal como anunciado em julho, a modernização do Centro de Dados da FCUL foi realizada durante os meses de verão e está prestes a terminar.

Vela

Aos familiares, amigos e colegas a FCUL apresenta as sinceras condolências.

Fluxo de energia bancária

“O princípio de que aumentar o capital dos bancos favorece a estabilidade bancária, para além de estar errado, penaliza países como o nosso de forma ainda mais gravosa”, refere em entrevista Pedro Gonçalves Lind, um dos autores do regular article “The Dynamics of Financial Stability in Complex Networks”.

Os cidadãos estrangeiros abrangidos pelos programas “Erasmus Mundus” e “Ciência sem Fronteiras” podem ter autorização de residência em menos de 15 dias e direito à mobilidade no espaço da União Europeia.

Jardim

Através do sistema Concursos pode aceder a mais informações sobre o convite publicado no Jornal Oficial da União Europeia.

Vela

Aos familiares, amigos e colegas a FCUL apresenta as sinceras condolências.

Adultos e criança em atividade da Ciência Viva no Verão

Até 15 de setembro, a iniciativa Ciência Viva no Verão percorre o País organizando mais de 1700 atividades científicas gratuitas para toda a população. As inscrições permanecem abertas até 15 de setembro, de acordo com o calendário de atividades. Nesta altura, já são mais de 20 mil os inscritos.

Nos dias 9 e 10 de Agosto a plataforma Moodle da FCUL vai estar inacessivel devido a uma manutenção de rotina.

As nossas desculpas pelos possiveis incómodos causados.

Liliana Caldeira junto aos posters

A investigação sempre foi um objetivo, que ganhou força após o prémio para melhor poster ser-lhe atribuído numa importante conferência internacional. Até ao final do ano, Liliana Caldeira, aluna de doutoramento em Engenharia Biomédica e Biofísica da FCUL, deverá defender a tese.

Páginas