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

Com a fusão da Universidade de Lisboa e da Universidade Técnica de Lisboa, em 2013, foi possível equacionar formatos de formação, que beneficiam da cooperação entre as 18 escolas da atual ULisboa.

O seminário "On the Use of Muse of Meteorological Satellites for Land Surface Monitoring" realiza-se a 30 de abril de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

MÁRIO EDMUNDO

Mais de mil participantes parecem ter aceite o desafio, anunciado no site da faculdade. As inscrições encerraram a 22 de abril e são muitas as atividades com lotação esgotada.

A próxima atividade deste ciclo ocorre a 29 de maio e conta com a presença do cientista Henrique Leitão, que irá abordar o tema “A Luz na História da Ciência”.

O Gabinete de Mobilidade, Estágios e Inserção Profissional da Faculdade de Ciências da ULisboa, em colaboração com a Fundação da Juventude e o Novo Banco, promove uma "Sessão de Apresentação de Estágios de Verão", destinada a alunos pré-finalistas e finalistas de licenciatura e de mestrado. 

"As editoras académicas internacionais estão abertas a propostas de livros”, dizem Paulo Teixeira e João Casquilho.

É preciso desfazer o mito de que as Tecnologias da Informação e Comunicação (TIC) são uma área para homens, onde se trabalha de forma isolada e sem espaço para a criatividade.

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

 

Tema: Derivação microscópica da equação do calor, apresentado por Alexandra Symeonides.

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

 

Tema: Jogos de azar - estratégias ousadas e tímidas, uma perspectiva matemática, apresentado por Cristina Serpa.

Os utilizadores da FCUL que necessitem de acesso VPN à FCUL devem deixar de utilizar a anterior configuração baseada no servidor vpn.ul.pt ou webvpn.ul.pt e reconfigurar a sua ligação para as novas configurações.

Estão disponíveis através do Portal da FCUL novas plataformas e ferramentas de Tecnologias de Informação para toda a Comunidade da FCUL.
 

O seminário "METABOLISMO URBANO" realiza-se a 23 de abril de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

Temos de acreditar que vamos chegar onde queremos. Para isso, todos teremos de continuar a dar o nosso melhor, a bem da família de Ciências – alunos, docentes e não docentes.

A Associação Portuguesa de Estudantes e Investigadores no Reino Unido (PARSUK – Portuguese Association of Researchers and Students in the UK) vem oferecer 5 estágios de verão, com bolsa de estudos no valor de &eu

19 de abril de 1911. Quando a Faculdade de Ciências da ULisboa surgiu em Portugal, passava pouco mais de cem anos do surgimento da primeira escola classificada como tal, a Universidade de Berlim, na Alemanha, em 1810.

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.

Páginas