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

Dinâmica das zonas costeiras: conhecer para gerir

O Microsoft Windows 8 e Microsoft Office 2013 já estão disponiveis para download no seu Perfil de Utilizador (apenas Docentes e Funcionários).

Evolução da Complexidade Celular: Filosofia, Biologia Celular e Simbiose

Palestra no GeoFCUL

 

Paisagens do Mundo. Imagens da Dinâmica da Terra

 

Devido a problemas de software num equipamento (redundante) vai ser necessário realizar uma alteração de firmware num equipamento central de rede.

Não se prevê que uma possivel quebra de serviços, a existir, seja maior do que alguns segundos.

Francisco Eduardo Lapido Loureiro

Faleceu no passado dia 4 deste mês, no Brasil, onde consolidou a sua carreira (Centro de Tecnologia Mineral - CETEM ), que iniciara em Lisboa (FCUL, Junta de Energia Nuclear), França (Universidade de Nancy) e Angola (Universidade e IICT Instituto de Investiga&ccedi

Está aberta uma bolsa de Mérito Social para a área de Suporte ao utilizador para a Unidade de Informática.

A iniciativa pretende reunir especialistas que, através dos seus testemunhos, contribuam para a compreensão da revolução tecnológica pelo qual vão passar as línguas naturais, entre elas o português.

A Unidade de Informática irá fazer a transmissão ao vivo da apresentação do livro "A Língua Portuguesa Na Era Digital" no dia 16 de novembro de 2012 entre as 9h00 e as 13h30 a partir da Fundação Calouste Gulbenki

Conferência por Jorge Carvalho (LNEG) no dia 29 de Novembro, no GeoFCUL

Encontram-se abertos concursos para recrutamento de um posto de trabalho de Professor Auxiliar na área disciplinar de Astronomia e Astrofísica, e de dois postos de trabalho de Professor Auxiliar, na área disciplinar de Engenharia da Energia.

 Projetados com o objectivo de monitorizar as condições do Estado do Tempo, os satélites meteorológicos são atualmente utilizados em muitas outras áreas do estudo da Terra; por exemplo, a partir de medições efetuadas pelo satélit

Camião de longo curso em via rápida

Existe uma enorme vontade de potenciar a economia baseada no conhecimento. O Ecossistema de Transportes ambiciona transformar Portugal num polo de referência, dinamizando projetos em inovação aberta, reconhecendo a oportunidade estratégica que se coloca.

A Unidade de Informática informa que desde hoje, dia 13 de Novembro de 2012 às 9h00, o Portal da FCUL está em IPv6.

Estão a ser enviadas, desde o passado fim de semana (3/11), mensagens de correio eletrónico para alguns utilizadores de contas fc.ul.pt com solicitação de preenchimento de formulários web ou respostas via mail com dados pessoais dos utilizadores.

Devido ao numero excessivo de mensagens falsas que nos últimos tempos têm chegado às caixas de correio dos utilizadores da FCUL, algumas delas dando a entender que são enviadas de endereços internos, fomos obrigados a tomar medidas mais restritivas em relaç

Boletim da Sociedade Portuguesa de Matemática (SPM) integra Portal RCAAP

Alunos brasileiros

A Faculdade de Ciências recebeu cerca de 70 alunos de mobilidade, vindos do Brasil.

Aula aberta - Mestrado em Biologia Molecular e Genética

7 de Novembro, 11:00, sala 2.4.16

 

INFORMAÇÃO

Recent years have witnessed the emergence of new sequencing technologies that are revolutionizing the approach to public health problems.

Na FCUL existe uma unidade curricular designada Projeto Empresarial. Esta “cadeira”, comum ao ISCTE-IUL, prepara os alunos para a realidade empresarial e tecnológica. No total, cerca de 300 alunos já a frequentaram.

Carlos Rafael Mendes

A tese do antigo aluno da FCUL, Carlos Rafael Borges Mendes e recentemente premiada, contou com a orientação conjunta das professoras Vanda Brotas e Virginia M. Tavano.

Web of Science Book Citation Index - Trial para todos os membros b-on

Páginas