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
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

Durante o Congresso AlChe Annual Meeting 2015, a Elsevier atribuiu o prémio de melhor artigo científico do ano (2014) ao investigador Pedro Castro.

A 11 de novembro de 2015 foi assinado um protocolo entre a Faculdade de Ciências da ULisboa e a Sociedade Portuguesa de Matemática.

O Departamento de Matemática e Estatística da Universidade de Jyväskylä, Finlândia, está a oferecer bolsas de doutoramento. Os interessados devem submeter as suas candidaturas 

capa do livro  "Ciência, Prestígio e Devoção: Os Jesuítas e a Ciência em Portugal (séculos XIX e XX)"

A organização do concurso recebeu nesta edição 12 obras, quase na totalidade teses de doutoramento.

O prémio é entregue durante o Solar World Congress 2015.

Quem queira visitar Ciências ULisboa pode preencher o formulário disponível no portal da faculdade.

A Portugaliae Mathematica, revista científica da Sociedade Portuguesa de Matemática, acaba de publicar um fascículo duplo do volume de 2015 dedicado a João Paulo de Carvalho Dias, antigo diretor e professor jubilado do Departamento de Matemática da Faculdade de Ciências da ULisboa.

No ano em que celebra 30 anos, a Quercus distinguiu o cidadão Filipe Duarte Santos e a entidade Vale da Sarvinda, pelo trabalho que têm realizado na defesa do ambiente e na promoção do desenvolvimento sustentável.

Fornos preparados para começar a cozinhar

Cerca de 30 pessoas participaram no 1.º workshop de construção de fornos solares, construindo-os e degustando uma saborosa refeição.

O concurso visa preparar os alunos portugueses para o Southwestern European Regional Programming Contest 2015, agendado para 21 e 22 de novembro de 2015.

Immersive Media Experiences 2015

workshop internacional é coorganizado por Teresa Chambel, professora do DI e investigadora do LaSIGE de Ciências ULisboa.

Páginas