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

É crucial que estatísticos e investigadores em Ciências do Ambiente mantenham uma colaboração estreita, para que continuem a ser desenvolvidos métodos estatísticos e computacionais adequados que permitam dar resposta continuada aos desafios presentes e futuros.

Está disponível a edição de 2012 do JCR (Journal Citation Reports).

O trabalho de cinco investigadoras portuguesas foi distinguido no início de junho em Boston, nos EUA. O congresso mundial contou com mais de 800 cientistas de 50 países.

[Tec Labs]i – Potenciar a Inovação

“Os alunos da FCUL tiveram uma experiência única que não vão esquecer ao longo da sua vida académica e profissional”, denota Rui Ferreira, administrador do Tec Labs – Centro de Inovação da FCUL.

Visita de Estudo à nova Universidade de Lisboa

“[Viveu-se um ambiente] muito propício ao debate onde o intercâmbio de ideias e de boas práticas foram muito gratificantes e uma mais-valia para os participantes e oradores do evento”, declarou Luísa Cerdeira, pró-reitora da Universidade de Lisboa e presidente do FORGES.

Álvaro de Campos

TABACARIA

O Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa (DI-FCUL) vai organizar a 3 de julho deste ano a primeira edição do 

“Eu sempre gostei de fazer desenho geométrico e sempre me interessei pelos azulejos e seus painéis e pela calçada portuguesa pela sua beleza, pela arte, e porque têm potencialidades científicas, estéticas e didáticas praticamente ilimitadas”, conta o investigador do Grupo de Física-Matemática, distinguido recentemente com o Prémio Abordagem Inovadora “SOS Azulejo 2012”.

As bibliotecas do C4 e C8 têm horários alargados durante a época de exames de 1 a 29 de Junho.

Mestrados DBA 2013-2014

Investigadores do projeto “Climate Change Iniciative – Ocean Colour”

A equipa do projeto “Climate Change Iniciative – Ocean Colour” esteve reunida na FCUL, nos dias 21 e 22 de maio. Os investigadores avaliaram as ações em curso e discutiram alguns assuntos com a comunidade de end-users.

Jorge Manuel Ribeiro Rezende galardoado com o prémio “Abordagem Inovadora”

Intervenção na cerimónia de entrega dos Prémios 'SOS Azulejo' 2012:

Sessões dias 24 e 25 de junho 2013

"Gás de Xisto"?! Sim? Não? Porquê? Como? Onde?

Cerimónia de escritura do Instituto do Petróleo e do Gás

A transferência de conhecimento e tecnologia para a sociedade faz-se mediante o reforço das relações entre as comunidades científica e empresarial. Para J. M. Pinto Paixão, diretor da FCUL, esta é a oportunidade ideal para constituir parcerias suportadas no conhecimento e no exercício de uma cidadania plena.

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.

Páginas