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

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.

“Nos bastidores da Exposição Livros de Ciências. Ciências em Livros” é o tema do primeiro Café Ciências, no qual será lançado o catálogo da exposição, inaugurada recentemente.

As empresas Hovione, Accenture, Everis, Altran e Orey Financial vão receber os cerca de 100 estudantes de Ciências que vão participar nesta iniciativa, provenientes dos cursos de Química, Química Tecnológica, Engenharia Informática, Tecnologias da Informação, Informática, Estatística Aplicada, Matemática Aplicada à Economia e à Gestão e Gestão de Informação.

Encontram-se abertas as candidaturas para Estágios Tecnológicos no CERN, ESA e ESO <http://www.fct.pt/apoios/cooptrans/traineeships/> - 2015.

O DM dinamizou duas sessões da atividade "Com um simples azulejo" durante a II Feira da Matemática, ocorrida a 23 de outubro, no Museu Nacional de História Natural e da Ciência, e na qual participaram alunos dos 3.º e 4.º anos da E

No âmbito do mestrado em Bioestatística realiza-se no dia 29 de outubro, entre as 16h00 às 17h00, na sala 6.4.30, no edifício C6, o seminário "Doppler Flow Pattern in patients with Aortic Coarctation&quo

LaSIGE 2015 Workshop

O LaSIGE 2015 Workshop realiza-se no dia 7 de novembro, entre as 14h00 e as 19h00, no auditório da Fundação da FCUL.

Em Ciências ULisboa há uma disciplina, desenvolvida em parceria com o ISCTE-IUL, que ajuda os estudantes a conceber ideias de negócio. As inscrições decorrem até dia 23 de outubro.

Susana Custódio

A "animação" mostra a vibração do solo registada em Mafra durante um sismo de magnitude 6 (M6) ocorrido ao largo do cabo de S. Vicente.

O Departamento de Estatística e Investigação Operacional (DEIO) associa-se a esta celebração a nível mundial, promovendo várias iniciativas destinadas a divulgar a Estatística não só aos alunos mas também a toda a restante comunidade de Ciências.

Programa

Páginas