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

SCOPUS é também uma ferramenta para estudos bibliométricos e avaliações de produção científica.

Na cobertura dos edifícios da Universidade de Lisboa foi recentemente instalada a maior central fotovoltaica da cidade de Lisboa. Para além da bela vista sobre o Jardim do Campo Grande, vamos poder apreciar os desafios e o potencial dos telhados urbanos para produção de eletricidade solar.

A empresa SISCOG – Sistemas Cognitivos, SA, procura candidato para integrar a sua equipa.

J. A. Quartau

Na verdade, considerando apenas as abelhas, se estas fossem recompensadas pelo seu trabalho na polinização dos pomares e de outras plantas cultivadas, teríamos que lhes pagar como fatura anual global pelo menos setenta mil milhões de euros, a que seria ainda necessário adicionar várias centenas de milhões pelos lucros adicionais com a produção de mel e de cera.

Livre acesso a trabalhos dos cientistas laureados com o Prémio Nobel 2013

Palmira Carvalho, Raquel Barata e David Felismino

O Jardim Botânico deve, mais do que nunca e no futuro, ser encarado como um espaço de coesão urbana, fundamental e complementar ao espaço edificado e à sua articulação com a envolvente, em termos ecológicos, estéticos, culturais, históricos, sociais e económicos.

As aulas de Projeto Empresarial começam em fevereiro de 2014. Enquanto o 2.º semestre não chega, a FCUL desafia os alunos a testarem ideias no passatempo do Tec Labs Centro de Inovação da FCUL e quem sabe participar na 2.ª edição do YA Bootcamp.

8 de Novembro no GeoFCUL. Campo Grande, Lisboa.

Torre meteorológica

Para comemorar o seu aniversário, o IDL organizou uma pequena exposição com o título “160 anos do IDL: 150 anos do Observatório” a decorrer até ao dia 22 de novembro, no hall do edifício C6 da FCUL.

É fundamental que cada jovem se assuma como gestor da própria carreira, devendo ser dinâmico e proativo no que toca à sua inserção profissional.

Dynamics of calcite cementation

Conferência dia 14 de Novembro, 16h00, sala 6.1.36, C6, FCUL, Campo Grande, Lisboa.

Some scientific events are being organized by CIO's members.

To get a detailed list of those events and more informations, click here!

Para pesquisa de ofertas de emprego na área de Estatística consultar site:www.statjob.com

 

Nos termos previstos no Regulamento das Bolsas de Investigação do IHMT, informa-se que se encontra publicitado nos sites da FCT e do IHMT, o Edital do concurso para atribuição de uma

A FCUL vai ser representada pelas equipas Bytech e StackTracers compostas por alunos do segundo ano da licenciatura em Engenharia Informática.

Collapse Caldera Systems

Conferência no dia 28 de Outubro, 17h00, Edifício C6, FCUL, Campo Grande, Lisboa.

Teresa Chambel

“Multisensory Mixed Reality with Smell and Taste” é o título da palestra do orador convidado Adrian Cheok, professor de Pervasive Computing, na City University London, no Reino Unido.

A Corda Pelo Botânico

O encontro estava marcado para sábado, 19 de Outubro, pelas 16h para começar a esticar mais de 1 km de corda desde a Praça da Alegria e do jardim do Príncipe Real até ao Jardim Botânico.

A instalação de iluminação solar nas escolas remotas nas ilhas de São Tomé e Príncipe, perto do equador, na África Ocidental foi um dos objetivos deste projeto, que pretendeu contribuir para o aparecimento de um mercado local na área da energia solar fotovoltaica.

O modelo foi aplicado ao campus da FCUL mostrando que o aproveitamento da radiação solar nas fachadas dos edifícios permite duplicar o seu potencial solar.

A Qmetrics, SA, empresa de consultoria nas áreas de gestão, estudos de mercado e relacionamento com o cliente, oferece estágio profissional. O candidato deverá apresentar grau académico em

Apesar de já existir há dois anos e meio, numa altura do ano em que chegam à FCUL mais algumas centenas de novos alunos, é importante divulgar a existência do Sistema de Impressão da FCUL para alunos.

No âmbito da avaliação de unidades promovida em 2013 pela Fundação para a Ciência e a Tecnologia, o Centro de Matemática, Aplicações Fundamentais e

Páginas