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

As provas de doutoramento em Biologia, especialidade de Microbiologia, da Mestre Egídia Maria Valente de Azevedo realizam-se no próximo dia 26 de Abril, pelas 10h:30 na Sala de Actos da

O grande momento do dia é a sessão solene, que inclui este ano o lançamento do segundo volume dos Professores Cientistas e a inauguração do Quadro de Honra.

Sobre Namoros e Casamentos

Jorge Buescu

Quinta-feira, dia 12 de Abril de 2012, às 18h30, na sala 6.1.36

Vela

Ricardo Leandro é o vencedor da Competição Europeia. O estudante da FCUL apresentou a melhor ideia: um coletor solar térmico de baixo custo, acoplável a um módulo fotovoltaico.

A palestra "O Princípio do Tempo" proferida por Pedro Gil Ferreira é uma das iniciativas do “VII Encontro Ibérico de Cosmologia”, que decorre em abril nas instalações da FCUL.

Jovem usa microscópio

A FCUL estimula a abertura permanente à sociedade civil, promovendo acontecimentos que visam a disseminação de conhecimentos e a interligação com diferentes agentes sociais.

Os vários objectivos do DEGGE: Tudo o que nos define, e tudo o que apoiamos

O ENEI'12 vai realizar-se na FCUL.

ESTRUTURA E GESTÃO DO DEPARTAMENTO DE BIOLOGIA ANIMAL (DBA)

Apresentação do Departamento

Paleontólogos do MNHN da UL e do GeoFCUL em foco na revista TVmais.

A FCUL participa em "Programa de Estudos Avançados" com mais quatro instituições universitárias portuguesas e brasileiras.

O DQB e a FCUL acolheram, mais uma vez, a realização de provas semifinais das Olimpíadas de Química Júnior 2012 no sábado, 14 de abril de 2012.

Pessoas estudam numa mesa na biblioteca

“Acho que qualquer aluno consegue ser bom, se tiver uma boa disciplina de trabalho e objetivos concretos”. Quem o diz é Gonçalo Faria da Silva, estudante do 3.º ano de Biologia.

No penúltimo dia de março realiza-se a quinta e última sessão do workshop destinado a preparar os estudantes para a obtenção do 1.º emprego.

 

Alunos da FCUL

A Schlumberger realiza uma sessão de recrutamento em Ciências. As grandes empresas procuram os melhores profissionais. A FCUL apoia a inserção profissional dos seus diplomados.
 

O evento é uma organização conjunta da Norton/Symantec e do mestrado em Segurança Informática do DI-FCUL.

O DM está na Futurália

Para Duarte Flor, presidente da associação académica e aluno do 12.º ano em Ciências, é importante que os candidatos ao ensino superior visitem as instalações de uma faculdade.

Desenho de uma figura masculina

“Existe um espaço onde o sentimento de pertença a uma escola pode ser reavivado", afirma Miguel Ramos.

Aluna junto a uma das colunas do átrio do C6

A mostra pictórica da atividade científica da FCUL é inaugurada a 13 de março. Conheça as razões pelas quais deve visitar a exposição.

O que são líquidos iónicos? Num dos primeiros programas do ano, o Com Ciência entrevistou o professor e investigador da FCUL, Carlos Nieto de Castro sobre esta classe de solventes.

Desenho de uma figura masculina

A data de lançamento do livro ainda não é pública, mas o evento deverá ocorrer brevemente, na Faculdade de Belas-Artes da UL.

Ontem evocou-se o Dia das Doenças Raras. A fibrose quística é um desses males incomuns. A investigação científica é importante em todos os setores, mas ganha especial sentido em áreas como esta.

Cerca de 20 professores de Ciências da Natureza e Ciências Naturais de nove concelhos portugueses participam na atividade promovida pelo MNHNC-UL a decorrer até abril.

Páginas