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

Ciências ULisboa pretende continuar a colaborar na formação académica, bem como no desenvolvimento de programas de investigação comuns e no estabelecimento de equipas que possam concorrer a fundos internacionais.

Entre os dias 9 e 30 de janeiro de 2016 inclusivé, a biblioteca do C4 também está aberta aos sábados das 9h00 às 17h00.

A área que mais gosta são as alterações climáticas e os seus efeitos. Durante estes anos em Ciências ULisboa sente que cresceu como pessoa e cientista. Carlos da Camara e Ana Bastos orientaram o projeto de licenciatura e ficaram surpreendidos com o talento da jovem estudante.

Encontra-se aberto concurso para atribuição de uma bolsa de Gestão Ciência e Tecnologia para licenciados em Estatística ou Matemática.

“Ciência, Prestígio e Devoção: os Jesuítas e a Ciência em Portugal”, editado pela Lucerna, no início de 2015, é a primeira abordagem à história científica dos jesuítas em Portugal nos séculos XIX e XX.

Para Ismael Tereno, investigador do IA e de Ciências ULisboa, é possível rastrear mais de um terço do céu, obtendo dados astronómicos com a qualidade adequada ao sucesso dos objetivos científicos da missão Euclid.

O Piloto 2 veio acrescentar mais informação léxico-semântica aos sistemas de tradução automática para todas as línguas do projeto: português, alemão, checo, búlgaro, espanhol, basco, holandês e inglês.

A última sessão deste ano acontece esta sexta-feira, dia 18 de dezembro, a partir das 20h00, no Grande Auditório da Faculdade, sito no edifício C3, no Campo Grande.

Através da iniciativa os alunos de Ciências ULisboa ficam a conhecer o processo de recrutamento e seleção da Galp Energia.

Através da iniciativa os alunos de Ciências ULisboa ficam a conhecer o processo de recrutamento e seleção da Galp Energia.

"Reflexões sobre a neurobiologia da consciência" foi o tema da palestra de António Damásio.

Nos dias 26 e 27 de novembro de 2015 decorreu em Ciências ULisboa, a reunião anual do projeto europeu QTLeap – Quality Translation by Deep Language Engineering Approaches. Nesta reunião geral do segundo ano do projeto, os parceiros avaliaram os resultados obtidos com o protótipo 2 (Piloto 2)

Amélia Pilar Rauter e Catarina Dias

O website Nutriageing é destinado ao público em geral e já está disponível em nutriageing.fc.ul.pt.

New workstation computers for image analysis have been added to the C8 node of the FCUL Microscopy Facility, under BioISI management.

Sandra Nascimento Ferreira

É preciso pensar e realizar iniciativas que despertem os consumidores, ou seja, os diversos cidadãos, para a necessidade de reduzir a produção de resíduos, aumentado a consciência ambiental e a participação informada, crítica e reflexiva.

A Faculdade de Ciências da ULisboa realiza, pelo segundo ano consecutivo, a reunião anual do projeto QTLeap, que conta com a presença de todos os parceiros do consórcio e de outros investigadores, especialistas em processamento profundo de linguagem e em tradução automática.

A partir de janeiro de 2016, a ULisboa disponibiliza um espaço de apoio

O aluno do Mestrado em Matemática e colaborador do CEMAT (Centro de Matemática Computacional e Estocástica) Bernardo Hipólito Fernandes, ganhou uma bolsa de estímulo à investiga&cc

Joint Oney Intelligent Analytics Services, empresa satélite que apoia a actividade do Jumbo e que é especializada em estudos de mercado e projectos de consultoria na área do Grande Consumo, pretende recrutar

O Professor António Branco, do Departamento de Informática da FCUL, é o representante de Portugal, na Assembleia Geral da Infraestrutura Europeia CLARIN, que se realiza em Copenhaga, na Dinamarca, esta quinta e sexta-feira, 1

O curso deverá começar a 12 de fevereiro de 2016.

Na manhã da passada quinta-feira dia 12 de novembro, alunos do 4.º, 5.º e 6.º ano do Externato Santa Catarina e do

Páginas