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

Em CIÊNCIAS, atrair os melhores estudantes é uma prioridade.

Queremos reconhecer, estimular e valorizar a dedicação e o esforço dos nossos estudantes.

A Mercer líder global em serviços de consultoria nas áreas de capital humano, benefícios, pensões e investimentos pretende recrutar 5 novos estagiários.
O perfil procurado é o seguinte:

Instituto de Astrofísica e Ciências do Espaço

Durante o mês de novembro as redes sociais divulgam diariamente informação sobre o novo instituto e o seu papel científico e tecnológico, tanto a nível nacional como internacional.

Capa do livro

Thibault Langlois, professor no Departamento de Informática da Faculdade de Ciências da ULisboa, publicou recentemente um livro em português sobre compiladores, em coautoria com Pedro Reis Santos, professor no Instituto Superior Técnico.

Ricardo Eleutério

O projeto de Ricardo Eleutério, aluno da Universidade Nova de Lisboa (UNL), orientado por Raquel Conceição, professora cientista da Faculdade de Ciências da ULisboa, tem um enorme potencial na deteção precoce de metástases na axila.

fixURself

“Acredito que cursos como este [MIEBB], ensinados por professores com esta qualidade, preparam melhor os alunos para experiências como a deste concurso e, desta forma, para o futuro”, declarou Inês Santos, aluna do mestrado integrado em Engenharia Biomédica e Biofísica de Ciências.

A Matemática da ULisboa encontra-se em 14º lugar no ranking das melhores universidades europeias e em 58º lugar a nível mundial segundo o ranking U.S.

A plataforma moodle arquivo estará em manutenção (não sendo possível aceder à mesma) a partir das 14h00 de dia 3 de novembro até ao final de quarta-feira, dia 5 de

Food & Nutrition Awards

Equipa composta por investigadores do Centro de Química e Bioquímica da Faculdade de Ciências foi distinguida com a 2.ª Menção Honrosa, na categoria de Investigação e Desenvolvimento, da 5.ª edição do “Food & Nutrition Awards”.

A reunião geológico-cultural da Geologists Association aconteceu este ano em Portugal.

Parabéns a ALEXANDRE ANAHORY DE SENA SIMÕES, aluno do Mestrado em Matemática, pela atribuição do prémio do Programa Estímulo à Investigação 2014 na área da Matemática, com o trabalho "Métodos topol&oac

Em 2014 a European Molecular Biology Organization (EMBO) celebra 50 anos. Em entrevista, Margarida Amaral comenta a sua eleição, explica quais são as funções dos membros da EMBO e deixa mensagens a governantes, dirigentes universitários e alunos de ciências.

A sessão de entrega dos prémios realiza-se a 21 de novembro.

O Southwestern European Regional Programming Contest (SWERC) 2014 ocorre a 22 e 23 de novembro de 2014, na Faculdade de Ciências da Universidade do Porto.

O foco da plataforma Food & Nutrition Awards é “Inovar para Crescer”.

Campus de Ciências

Para um padrão de consumo doméstico típico, um sistema fotovoltaico não é economicamente viável, exceto talvez para muito baixas potências instaladas.

Queres potenciar a tua energia para entrares no mercado de trabalho?

Trainees 2015 - InterCement

A INTERCEMENT está a dar início ao Programa de Trainees Internacional - 2015.

A Liga para a Protecção da Natureza encontra-se a recrutar formadores que estejam capacitados para ministrar cursos que se enquadrem nas seguintes áreas de formação:

Dados demonstram que as pessoas ficam presas no trânsito cerca de 34 horas todos os anos e gastam 1.9 mil milhões de litros de combustível.

José Sebastião e Silva

A Universidade de Lisboa comemora o centenário do nascimento de José Sebastião e Silva organizando diversos eventos, alguns em parceria com outras instituições, durante o ano letivo de 2014/2015.

A Procter & Gamble (P&G) promove, no próximo dia 23 de outubro (manhã), o evento online OneDayWith P&G.

MARE participa no WRIC Oceans 2014

Workshops, apresentações e sessões de painéis interativos, com o intuito de “abordar as questões mais importantes para os oceanos, políticas de investigação, a Diretiva-Quadro de Estratégia Marinha e a Política Comum de Pescas”, compõe a programação do WRIC Oceans 2014.

O Universia e o Trabalhando divulgaram os resultados do 3º inquérito de Emprego 2014, sobre a temática do "Voluntariado". 

Filipe Lopes

O catálogo da coleção conta atualmente com mais de 33000 registos, sendo a maior parte destes referentes à entomofauna portuguesa. Outras regiões bem representadas na coleção são sobretudo países africanos dos PALOP.

Páginas