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

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

Estão abertas as inscrições para a disciplina que promove o empreendedorismo - Projeto Empresarial. Todos os alunos de mestrado ou nos dois últimos anos de mestrado integrado podem candidatar-se até dia 16 de novembro.

A FCUL, bem como toda a Universidade de Lisboa está sem acesso à Internet desde cerca das 11:45 da manhã.

Professora Olga Pombo, autora do livro "O Círculo dos Saberes"

“Estou convencida que a imagem do círculo constitui um arquétipo, uma determinação conceptual prévia a toda a investigação”, defende Olga Pombo, docente na FCUL e autora do livro “O Círculo dos Saberes”.

Imagem ilustrativa do livro "O Círculo dos Saberes"

“A apresentação do livro seguirá um formato sério e discreto. O professor Shahid Rahman fará uma apresentação e apreciação do livro e eu agradecerei todas as suas palavras, sejam elas elogiosas, sejam críticas", afirma a autora Olga Pombo.

Trial para todos os Membros da b-on.

Pessoas a correr junto ao Marquês de Pombal

A primeira Corrida da Ciência aconteceu o ano passado por ocasião das celebrações dos 100 anos da FCUL. A edição deste ano integra-se na 2.ª Edição do AmbientALL – Universidade em Movimento.

O concurso de programação destina-se a alunos universitários e este ano junta 16 equipas, oriundas de oito instituições universitárias portuguesas. A equipa da FCUL chama-se BigO(1).

Imagem da professora Maria José Boavida

“Colega amiga”, “orientadora empenhada e humanista” e “investigadora solidária”, assim se recorda Maria José Boavida (1948 – 2012).

Desenho do campus da FCUL

As tabelas e notas científicas, assim como as regras elementares de segurança em laboratórios são algumas das mais-valias deste “livro”.

A fim de cumprir com o estabelecido no Regulamento Eleitoral, o Caderno Eleitoral para a eleição do Presidente do Departamento de Estatística e Investigação Operacional está disponível para consulta.

Páginas