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

Conferência por Isabel Sacramento Grilo, Department of Geological Sciences SDSU, San Diego, California. EUA.

No âmbito do Ano Internacional de Estatística, a Sociedade Portuguesa de Estatística (SPE)  e o Centro de Estatística e Aplicações da Universidade de Lisboa (CEAUL)  promovem uma

Visitantes e colaboradores do Dia Aberto em Ciências comentam a iniciativa que em 2013 reuniu cerca de 1400 pessoas, entre alunos do básico e secundário e seus professores.

Inquéritos Pedagógicos. 2.º Semestre de 2012-13

Os Inquéritos Pedagógicos são uma ferramenta fundamental para a avaliação da qualidade do ensino na FCUL

Fangz, jogo criado por aluno da FCUL que conquistou a Apple

Alexandre Ribeiro, antigo aluno do Departamento de Informática da FCUL, é o primeiro português a conseguir destacar uma aplicação nacional na App Store dos EUA. Para além deste destaque, foi eleito jogo da semana no fórum da Touch Arcade, “o site de maior reputação no mundo dos jogos para plataformas móveis”.

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.

Páginas