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

A sessão de abertura do Fórum do Mar ocorre no dia 28 de maio, pelas 9h30, com a presença do Senhor Secretário de Estado do Mar.

Logo do evento

O Departamento de Informática da FCUL (DI-FCUL) organiza este ano a segunda edição do&nb

Luís Correia, atual presidente do Departamento de Informática e diretor do LabMAg, foi entrevistado no contexto do projeto europeu ASSISIbf&nbs

No âmbito da unidade curricular Estatística Ciência e Sociedade, realiza-se no dia 29 de maio, pelas 12h, na sala 6.2.50 um Seminário da autoria dos alunos Carlos Botelho, Soraia Graça e Vasco Guerra, intitulado 

O Centro de Investigação Operacional realizará no dia 5 de Junho, pelas 15 horas, na sala 6.4.31, um Seminário intitulado : "Column Generation in Routing: Classical CVRP and Transport

António Amorim

As emissões das florestas podem ter um papel fundamental nos momentos iniciais da formação das nuvens.

Abstract: Routing problems are naturally formulated by enumerating possible routes and combining them to derive an improved solution. This combination is done by solving a set partitioning problem that assures the set of chosen routes to visit all routing customers exactly once.

Conferência no dia 30 de Maio, pelas 11h30, sala 6.2.53, Edifício C6, FCUL, Campo Grande, Lisboa, no âmbito do “Dia do Geológo”

 

O Professor Pedro Ferraz de Abreu, Professor Catedrático Convidado da Faculdade de Ciências da Universidade de Lisboa e Investigador do Massachusetts Institute of Technology (MIT) está a visitar vários estados do Brasil como Brasília,

Rita e Mariana, alunas do pré-escolar daquele colégio, deram conta de alguns pormenores do que aprenderam nos telhados do edifício C4: “vimos muitos painéis solares. Nunca tínhamos visto! O senhor disse que o Sol batia neles, depois aqueciam e produziam eletricidade”.

SESSÕES DE APRESENTAÇÃO & ESCLARECIMENTO

 

- 23 Maio 2014 (6ªF), 17:00-18:30h, sala 2.2.14

o    Biologia da Conservação (BC)

“Houve muitos [episódios] interessantes e inesperados. Os mais marcantes foram o encontro, o conhecimento e o convívio com alunos excecionais”, declara Filipe Duarte Santos, professor do Departamento de Física de Ciências, sobre a sua experiência ao longo dos anos na Faculdade.

O DEIO divulga mais uma oferta de emprego.

Acesso Gratuíto Cochrane Library via b-on

O Institut Français du Portugal, O Centro de Oceanografia da Universidade de Lisboa e a Fundação Calouste Gulbenkian apresentam o Coloquio internacional “Oceanos: de ambiente frágil a recurso sustentável”.

No dia 7 de Maio o Departamento de Matemática da FCUL associou-se à AÇÃO ESCOLA SOS AZULEJO com a atividade “Com um simples azulejo” em que participaram alunos do 3º ano de escolaridade da Escola Básica Santo António do Agrupamento de Esc

DI-FCUL visita Escola Secundária Rainha D. Leonor

Muhnac

Venha conhecer as rotas do conhecimento que ligam o Muhnac a outros museus e locais da cidade.

Está disponível um acesso gratuito ao ChemInform RxnFinder

Doutoramento e Mestrado em Ciência Cognitiva 

6ª Edição, 2014-15

A revista mais prestigiada na área da Biologia Computacional publicou um artigo que resulta de uma investigação financiada pela Fundação para a Ciência e a Tecnologia e que inclui investigadores de Ciências e da Universidade de Harvard.

O Centro de Investigação Operacional vai realizar no dia 21 de maio, pelas 14h30, na sala 6.4.30 um seminário intitulado Formulations and Exact&nbs

O Centro de Estatística e Aplicações da Universidade de Lisboa vai organizar de 4 a 6 de Junho de 2014 um curso intitulado "On Flexible Bayesian Methods for Diagnosis and ROC Curve Estimation".

Conferência no dia 21 de Maio, pelas 16h00, sala 6.2.56, Edifício C6, FCUL, Campo Grande, Lisboa.

Dia: 22 de Maio (Dia Internacional da Biodiversidade)

Páginas