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

David Luz e Pedro Machado, investigadores do Centro de Astronomia e Astrofísica da UL, fazem parte de uma equipa de investigadores que ao fim de dois anos conseguiu medir os ventos da atmosfera de Vénus a partir da Terra. Até então, só era possível fazê-lo recorrendo a sondas espaciais.

À semelhança dos anos anteriores o Departamento de Química e Bioquímica vai promover a realização de Ações de Formação para os professores do Ensino Básico e Secundário na modalidade oficina.

Encontram-se abertos concursos para recrutamento postos de trabalho de Professor Auxiliar, nas áreas disciplinares de Meteorologia, de Geofísica, de Engenharia Geográfica e de Oceanografia Física, Astronomia e Astrofísica, constantes do mapa de pessoal docente d

Empresa Outmind trabalha o conceito de marketing sensorial aliado à tecnologia

“Queremos dar a conhecer um novo espaço, uma nova marca, uma nova estratégia para o Tec Labs e também, claramente, incentivar as pessoas a terem uma atitude diferente face ao empreendedorismo”, sublinhou Luís Matos Martins, presidente do Conselho de Administração do Tec Labs.

Imagem alusiva à extração de óleos essenciais

Aquele que é hoje conhecido como o ISEO teve início em setembro de 1969, quando quatro cientistas da área da farmacognosia se reuniram, informalmente, em Leiden, na Holanda, para discutir problemas comuns, relacionados com a análise de óleos essenciais. Docentes/investigadores da FCUL participam, desde 1989, nesse congresso e já o organizaram por duas vezes.

Membros de uma tuna, durante uma atuação

Diário de bordo da nave Esperança. Uma viagem por um dos acontecimentos musicais da comunidade académica com especial tradição…

Pormenor de obra de arte

Invest in our future, invest in science”. A mensagem é clara, concisa e direta. Por um mundo melhor, um grupo de personalidades do Champalimaud Neuroscience Programme lançou recentemente um blogue no qual procuram sensibilizar a comunidade para a importância da ciência nas nossas vidas.

Está aberto concurso, até ao dia 07 de dezembro de 2012, para admissão de voluntários para a prestação de serviço em regime de contrato na Categoria de Oficial Técnico Superior Naval (TSN) e Oficial Técnico Naval (TN).

A sessão de encerramento contou com uma breve troca de ideias acerca dos novos desafios e possibilidades oferecidos pelo software Open Source, em particular, pela cada vez maior procura de formação em Quantum GIS.

Actividade no NanoLab do GeoFCUL

Dinâmica das zonas costeiras: conhecer para gerir

O Microsoft Windows 8 e Microsoft Office 2013 já estão disponiveis para download no seu Perfil de Utilizador (apenas Docentes e Funcionários).

Evolução da Complexidade Celular: Filosofia, Biologia Celular e Simbiose

Palestra no GeoFCUL

 

Paisagens do Mundo. Imagens da Dinâmica da Terra

 

Devido a problemas de software num equipamento (redundante) vai ser necessário realizar uma alteração de firmware num equipamento central de rede.

Não se prevê que uma possivel quebra de serviços, a existir, seja maior do que alguns segundos.

Francisco Eduardo Lapido Loureiro

Faleceu no passado dia 4 deste mês, no Brasil, onde consolidou a sua carreira (Centro de Tecnologia Mineral - CETEM ), que iniciara em Lisboa (FCUL, Junta de Energia Nuclear), França (Universidade de Nancy) e Angola (Universidade e IICT Instituto de Investiga&ccedi

Está aberta uma bolsa de Mérito Social para a área de Suporte ao utilizador para a Unidade de Informática.

A iniciativa pretende reunir especialistas que, através dos seus testemunhos, contribuam para a compreensão da revolução tecnológica pelo qual vão passar as línguas naturais, entre elas o português.

A Unidade de Informática irá fazer a transmissão ao vivo da apresentação do livro "A Língua Portuguesa Na Era Digital" no dia 16 de novembro de 2012 entre as 9h00 e as 13h30 a partir da Fundação Calouste Gulbenki

Conferência por Jorge Carvalho (LNEG) no dia 29 de Novembro, no GeoFCUL

Encontram-se abertos concursos para recrutamento de um posto de trabalho de Professor Auxiliar na área disciplinar de Astronomia e Astrofísica, e de dois postos de trabalho de Professor Auxiliar, na área disciplinar de Engenharia da Energia.

 Projetados com o objectivo de monitorizar as condições do Estado do Tempo, os satélites meteorológicos são atualmente utilizados em muitas outras áreas do estudo da Terra; por exemplo, a partir de medições efetuadas pelo satélit

Camião de longo curso em via rápida

Existe uma enorme vontade de potenciar a economia baseada no conhecimento. O Ecossistema de Transportes ambiciona transformar Portugal num polo de referência, dinamizando projetos em inovação aberta, reconhecendo a oportunidade estratégica que se coloca.

Páginas