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

Acções de Formação em Geologia na FCUL / 2013

Departamento de Geologia da FCUL

Informações sobre o procedimentos de escolha de ramo na Licenciatura em Geologia, 2013-14, do Departamento de Geologia da FCUL.

Alunos de Estatística Aplicada da FCUL

Atualmente, o uso e a aplicação da estatística têm a sua razão de ser não apenas na legitimação da indução, mas também na possibilidade de incorporar a incerteza nas suas conclusões: outro testemunho da sua proximidade ao real.

 

O Departamento de Informática (DI), da Faculdade de Ciências da Universidade de Lisboa (FCUL), convida as empresas e instituições para o estabelecimento de Parcerias e a submeter propostas de trabalhos na área de Engenharia Informática e da Seguranç

Sessão de esclarecimento dia 31 de maio 2013, 11h, anfiteatro 2.4.16

Colocação por unidade curricular- informação atualizada

 

Conhece as reais causas das expulsões de 1947? Como eram as relações da Faculdade de Ciências com o Instituto Superior Técnico? Uma das últimas edições da FCUL procura responder a estas e a outras questões.

Alexandre Ribeiro, criador do jogo Fangz destacado recentemente na App Store dos EUA, voltou àquela que foi a sua instituição de ensino superior, a FCUL, para partilhar experiências, curiosidades e dificuldades vivenciadas ao longo da conceção do jogo, aproveitando para responder às dúvidas dos interessados.

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.

Páginas