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

Sessões de esclarecimento/apresentação

Secção Autonoma de História e Filosofia das Ciências da FCUL

A Secção Autónoma de História e Filosofia das Ciências - SAHFC

 

DESAFIO SOCIETAIS 1, 2 E 5: HEALTH, BIO-ECONOMY, CLIMATE ACTION

IV Jobshop

“Os alunos e os responsáveis pelos recursos humanos das empresas participantes poderão dialogar e assim trocar informações úteis acerca dos métodos, oportunidades e critérios de recrutamento utilizados”, informa o presidente da AEFCL, Eduardo Matos.

Logotipo Cost

A próxima reunião do Comité COST, área de Chemistry and Molecular Sciences and Technologies realiza-se em  setembro, em Lisboa. Durante esse acontecimento a organização local prevê estudar, juntamente com os atuais e os antigos delegados a ações COST, novas formas de incrementar a participação portuguesa no Horizonte 2020.

“A parceria que temos [com a FCUL] contribuiu em larga escala para o desenvolvimento da Science4you”, comenta Miguel Pina Martins, a propósito do sucesso da empresa que soma novos galardões: o “Business Internationalization Award” e os Prémios Novos, na categoria Empreendedorismo.

Instituto Dom Luiz – University of Lisbon and the Center of Geophysics of the University of Coimbra invite applications for one Post-Doctoral research position. The post-doctoral researcher will be integrated in project QuakeLoc‐PT.

Sessão de esclarecimento sobre os mestrados no GeoFCUL 2013/14

Sessão de esclarecimento sobre os mestrados em Geologia 2013/2014 do GeoFCUL

 

17 Maio (sexta-feira), 10h00-11h30, sala 6.2.47

 

Terá a presença dos coordenadores:

Rosto de Luísa Canto e Castro Loura

Conciliar e anonimizar as mais extensas bases de dados da Direção-Geral de Estatísticas da Educação e Ciência é uma tarefa com várias etapas, que se prevê estar finalizada no decorrer do quarto trimestre de 2013.

Aldeia mineira do Lousal

Até ao momento os Prémios GeoConservação já distinguiram a ação das autarquias de Idanha-a-Nova, Valongo, Cantanhede, Arouca, Porto, Alcanena, Rio Maior e das associações de municípios Natureza e Tejo e dos Açores.

Anfiteato 3.2.14

Durante a sessão comemorativa do 102.º aniversário da FCUL, alguns dos melhores alunos da FCUL sorriram e encantaram com os seus depoimentos, num trabalho multimédia apresentado durante o evento.

Cerca de 93 alunos, agrupados em equipas de três elementos, realizaram as provas teóricas e experimentais nas instalações da FCUL.

No âmbito da disciplina de Estatística Ciência e Sociedade, a Profª Dirce Monteiro do Instituto Superior de Ciências Sociais e Políticas, Universidade Técnica de Lisboa, proferirá, no dia 23 de Abril (3ª feira) pelas 14:30, na sala 6.4.30,&n

Logotipo Dia da FCUl 2013

A FCUL foi criada no século XX, a 19 de abril de 1911, pouco mais de cem anos após o surgimento da primeira escola classificada como tal, a Universidade de Berlim, na Alemanha, em 1810. Em 2013 Ciências comemora 102 anos.

 

Manuel Nunes Marques

Manuel Nunes Marques, antigo diretor do Observatório Astronómico de Lisboa e professor aposentado do Departamento de Engenharia Geográfica, Geofísica e Energia da FCUL, faleceu durante a madrugada de 18 de abril. A missa de corpo presente realiza-se esta quinta-feira, pelas 19h00, na Igreja Nossa Senhora Conceição dos Olivais Sul, em Lisboa. O funeral realiza-se a 19 de abril, pelas 15h00, na Igreja de Santo António das Areias, no concelho de Marvão. Aos familiares, amigos e colegas, a FCUL apresenta as sinceras condolências.

património + educação = identidade

A Geometria na Politécnica, no âmbito das comemorações do Dia Internacional dos Monumentos e Sítios.

 

Carlos Rafael Borges Mendes

O interesse pelas ciências e tecnologias surgiu ainda no liceu, tendo optado por prosseguir os estudos na área da Biologia, em parte por influência de duas professoras dessa disciplina.

Visitas guiadas à  Exposição Formas & Fórmulas

13 de abril 11h30-13h00

11 de maio 11h30-13h00

Diálogos com Formas & Fórmulas

11 de abril 18h

No próxima quinta-feira, 11 de Abril, a FCUL e em particular, o Departamento de Informática, vão ser "invadidos" pelos alunos do secundário. Para visitar o DI-FCUL já temos cerca de 200  alunos inscritos.

Páginas