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

Aceitam-se candidaturas de docentes para inclusão numa  Bolsa de Recrutamento, para a Área de Finanças e Economia - Secção Autónoma de Estatística, d

FCUL promove cooperação com EMBL

A passagem do diretor-geral do EMBL pela FCUL, foi registada através de uma reportagem multimédia. Fique a saber mais sobre esta visita bem como os pormenores do evento “Molecular Biology in Portugal and EMBL”!

De 8 de Julho a 30 de Agosto as bibliotecas do C4 e C8 têm alteração nos horários de funcionamento

Doctorate in Applied and Engineering Physics

Programa Doutoral em Física Aplicada e Engenharia Física

Arthur Vieira, estudante do mestrado integrado em Engenharia Física e Emiliano Pinto, aluno de mestrado em Física Nuclear e Partículas, são os diretores da revista trimestral do Departamento de Física da FCUL e  que integra uma equipa editorial constituída por outros 16 discentes.

Challenge4you desafiou estudantes dos cinco aos vinte anos

“Aquilo que aqui aprendemos faz parte da cultura geral e todos nós devemos ter algumas ideias sobre o local onde estamos inseridos e sobre esta união de que todos fazemos parte e que tanto nos ajuda”. A declaração é da estudante e participante Adriana Pereira de 17 anos.

Para uma crítica das perspectivas recentes da União Europeia sobre o Ensino Superior

Recomendações para melhorar a qualidade do ensino e da aprendizagem.

Implicações no Quebramento do Gondwana e sua Correlação com as bacias da Margem Atlântico Sul e Atlântico Central

É 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.

Páginas