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
Pormenor da capa do livro

O livro está à venda pelo valor de €18,40, no Atendimento Geral, sito no edifício C5, piso 3.

Anfiteatro

"As Jornadas tiveram um balanço bastante positivo (...) elucidaram e esclareceram algumas dúvidas importantes para os estudantes (...) ", conclui a Comissão de Curso de Engenharia Geográfica.

Museu do Quartzo é inaugurado e recebe o nome de Galopim de Carvalho, professor jubilado do Departamento de Geologia.

Céu com nuvens escuras

As candidaturas à oficina de formação terminam a 21 de maio. As sessões realizam-se às terças e quintas-feiras, entre as 17h30 e as 20h30.

A exposição “O Cálculo de ontem e de hoje”, elaborada pelo Departamento de Matemática em colabora&

Lâmpada

Estudantes de Engenharia Biomédica e Biofísica da FCUL promovem reunião especializada. O Ne2b2 existe desde outubro de 2008.

Luzes

Pela primeira vez a Reitoria da UL abre as suas portas aos estudantes da cidade, organizando um evento noturno para alunos dos ensinos universitário e secundário.

A exposição está a partir de 26 de Abril no Museu Nacional de História Natural e da Ciência.

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.

Páginas