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 Ação COST TD1402, iniciada em novembro de 2014, termina em novembro de 2018 e está fortemente ligada ao projeto “Nano partículas magnéticas para tratamento do cancro por hipertermia”, cuja investigadora principal é Maria de Deus Carvalho.

The European Organization for Nuclear Research (CERN) is offering full-time paid internships (4-12 months) to students. CERN has two different programmes, depending on the field of students:

O seminário "Do Espaço para a Terra com Copernicus" realiza-se a 16 abril de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

 A Sonae vai estar na Faculdade de Ciências, no átrio do edifício C5, com o objetivo de divulgar o Programa Contacto.

O colóquio “A Economia do Mar, Ordenamento, Gestão do Espaço Marítimo e Licenciamento: Oportunidades e Implicações para os Municípios” realizou-se no dia 9 de abril de 2015, nas instalações da Universidade Católica Portuguesa.

Laws of rare events with convergence rates.

34.º aniversário do GeoFCUL!

O Departamento de Geologia da Faculdade de Ciências da Universidade de Lisboa (GeoFCUL) existe desde 4 de fevereiro de 1981.

Foi estendido o prazo de candidaturas para o programa de estágios da Jerónimo Martins - Management Trainee Programme, destinado a alunos finalistas de mestrado.

Encontram-se abertas as candidaturas para o programa de estágios de verão da Vodafone - Discover Summer Internship.

O colóquio “A Economia do Mar, Ordenamento, Gestão do Espaço Marítimo e Licenciamento: Oportunidades e Implicações para os Municípios” realiza-se a 9 de abril de 2015, nas instalações da Universidade Católica Portuguesa.

Na cerimónia deste ano são atribuídas 89 bolsas de estudo por mérito aos alunos que obtiveram aproveitamento excecional no ano letivo 2011/2012.

O seminário "Coopérnico: Energia Verde, Sustentabilidade e Cidadania" realiza-se a 9 de abril de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

De 1 a 7 de abril de 2015 a biblioteca do C4 está aberta das 9h00 às 17h00.

Até junho de 2015 os bolseiros do Programa LisMath apresentam semanalmente seminários sobre temas de investigação. Os seminários têm lugar na sala B3-01 do IIIUL, cada sexta-feira, pelas16h00.

Os 25 alunos apurados a nível nacional participam na fase final das Olimpíadas Portuguesas de Geologia (OPG), previstas para os dias 24 e 25 de maio de 2015, no Centro Ciência Viva de Estremoz.

Seminário Informal em Matemática no próximo dia 27 de Março, 6ªfeira, às 14h na sala 6.2.44.

 

Tema: Teoria do grau e aplicações, apresentado por Simão Correia.

Encontram-se abertas as candidaturas para o Summer Internship Programme 2015 da Jerónimo Martins.

O Departamento de Engenharia Geográfica, Geofísica e Energia (DEGGE) da Faculdade de Ciências da ULisboa realiza um seminário sobre sismologia em tempo real, no dia 26 de março de 2015.

Como vencedores do sorteio nas passadas Jornadas da FCCN a EBSCO oferece o acesso institucional à base de dados Fonte Académica a todos os utilizadores da ULisboa até 31 de Dezembro de 2015.

Se ficou curioso e quer obter mais informações sobre estes fenómenos astronómicos, pode participar na palestra “Eclipses Solares”, no dia 20 de março de 2015, entre as 17h00 e as 18h00, no grande auditório de Ciências da ULisboa.

Miguel Centeno Brito

A ideia de criar um barómetro surgiu como resposta a um desafio lançado pela Área de Sustentabilidade da ULisboa. O professor de Ciências da ULisboa, Miguel Centeno Brito espera que “a aplicação desta metodologia seja alargada a outras universidades nacionais, e europeias, contribuindo para o crescimento do movimento green campus”.

Gheorghe Dunca

No âmbito do mestrado integrado em Engenharia da Energia e do Ambiente, Gheorghe Dunca desenvolveu um barómetro de eficiência energética, já testado em algumas escolas da ULisboa.

Seminário Informal em Matemática no próximo dia 20 de Março, 6ªfeira, às 14h na sala 6.2.44.

 

Tema: Abordagem geométrica à teoria da representação, apresentado por João Dias.

Páginas