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

Trial para todos os Membros da b-on.

Pessoas a correr junto ao Marquês de Pombal

A primeira Corrida da Ciência aconteceu o ano passado por ocasião das celebrações dos 100 anos da FCUL. A edição deste ano integra-se na 2.ª Edição do AmbientALL – Universidade em Movimento.

O concurso de programação destina-se a alunos universitários e este ano junta 16 equipas, oriundas de oito instituições universitárias portuguesas. A equipa da FCUL chama-se BigO(1).

Imagem da professora Maria José Boavida

“Colega amiga”, “orientadora empenhada e humanista” e “investigadora solidária”, assim se recorda Maria José Boavida (1948 – 2012).

Desenho do campus da FCUL

As tabelas e notas científicas, assim como as regras elementares de segurança em laboratórios são algumas das mais-valias deste “livro”.

A fim de cumprir com o estabelecido no Regulamento Eleitoral, o Caderno Eleitoral para a eleição do Presidente do Departamento de Estatística e Investigação Operacional está disponível para consulta.

 O projecto CAMPUS UL realizado pelos alunos de mestrado em Engenharia Geográfica no âmbito das disciplinas de Fotogrametria Analítica e de Produção Cartográfica ganhou o segundo prémio no concurso internacional de projectos com fins educativos

lâmpada

"Criar, transferir e valorizar economicamente o conhecimento científico" é a causa primária do renovado centro de inovação, situado no campus da FCUL.

Hoje, quarta-feira, dia 10 de Outubro de 2012, registou-se uma quebra no acesso à Internet pelas 17h00 por cerca de 5 minutos.

A causa foi externa à Faculdade de Ciências da Universidade de Lisboa e ainda não fomos informados das suas causas.

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.

Páginas