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

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

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

 

Páginas