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
Amélia Pilar Rauter

Amélia Pilar Rauter lidera o consórcio FCUL na European Innovation Partnership on Active and Healthy Ageing.

Disponível de 6 de outubro a 6 de dezembro.

Vanda Brotas

Não é a primeira vez que Vanda Brotas assume este tipo de função. Entre 2007/2009 também assumiu a presidência do Departamento e entre 2004/2006 coordenou o Centro de Oceanografia.

A TESE - Associação para o Desenvolvimento apresentou os resultados do estudo 

Pela primeira vez, a defesa de uma prova de doutoramento ocorreu nas instalações da Faculdade de Ciências da ULisboa.

Estão abertas as candidaturas para 

Uma ferramenta inovadora para partilhar expectativas e criar um plano de acção.

A Maxdata e a Faculdade de Ciências da ULisboa estão a desenvolver automatismos que permitam melhorar significativamente o controlo de infeções hospitalares e comunitárias.

Este programa de estágios visa a formação avançada de jovens portugueses, com grau académico de licenciatura ou superior, em grandes Organizações Científicas Internacionais, CERN, ESA e o ESO.

07 outubro

12:00 Sala C201, Edifício II, ISCTE-IUL

Aqui estão disponíveis os highlights do Grupo de Espectrometria de Massa Ambiental e Biológica.

 

Até 15 de Novembro é possível aceder via b-on a e-books da Biblioteca Nacional em:
http://bnp.lusoteca.pt/catalog/ileio/#

 

José Afonso

A MOONS deve ficar operacional em 2018.

Parabéns a Alexander Usvyatsov, investigador FCT do CMAF, pelo seu recente prémio de artigo expositório em lógica:

Financiado pela Fundação para a Ciência e a Tecnologia, o Programa tem neste momento candidaturas abertas para:

Programa de Estágios em Investigação na Carnegie Mellon University (Undergraduate Internships Program)

O livro é apresentado durante a sessão inaugural do programa doutoral Filosofia da Ciência, Tecnologia, Arte e Sociedade.

O livro editado pela Âncora Editora é apresentado por José Barata-Moura.

“Work in Flanders” realiza-se nos próximos dias 29 e 30 de Setembro, em Lisboa (serviços centrais do IEFP em Xabregas).

Amália Uamusse

A pós-graduação em Biologia Aquática e Ecossistemas Costeiros da universidade moçambicana é uma das formações que tem recebido o apoio de docentes do Departamento de Biologia de Ciências. Em 2015, dois alunos daquele país vão ser recebidos no Departamento de Química e Bioquímica de Ciências.

A Marinha disponibiliza, todos os anos, às instituições de ensino/formação um conjunto de possibilidades de estágios curriculares constantes não remunerados em diversas áreas da instituição.

O INPE – Centro Regional da Amazônia está contratando doutores, com experiência em geotecnologias, estatística, modelagem, dinâmica de uso e cobertura da terra da Amazônia, para trabalhar no Projeto TerraClass.

Campus de Ciências

Jorge Moreira da Silva, ministro do Ambiente, Ordenamento do Território e Energia participa na cerimónia.

Pormenor da capa do livro

A Coleção Textos de Matemática foi lançada em 1993 pelo Departamento de Matemática de Ciências e conta neste momento com 24 títulos. O último título publicado é "Análise Matemática I", de Armando Machado.

 

O Programa Prós e Contras de 15 de Setembro de 2014 foi dedicado à recente proposta do governo para taxar a cópia privada, a qual vai implicar um aumento dos preços dos telemóveis, tablets, computadores e outros equipamentos eletrónicos.

Páginas