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

De 6 de junho a 4 de julho de 2015 a Biblioteca do C4 vai estar aberta aos sábados das 9h00 às 17h00, à exceção do Dia de Santo António.

O Professor Armando Machado vai dar uma lição intitulada ‘A perspectiva em geometria’ na próxima quinta-feira dia 4 de Junho pelas 14h na sala 6.2.45.

A Unidade de Epidemiologia do Instituto de Medicina Preventiva e Saúde Pública da Faculdade de Medicina da Universidade de Lisboa encontra-se a recrutar candidatos para a função de

A Nortempo empresa multinacional ibérica que aposta num portefólio de serviços de recursos humanos alargado, está a recrutar um Técnico de Risco (M/F)  para empresa na áre

A Nortempo empresa multinacional ibérica que aposta num portefólio de serviços de recursos humanos alargado, está a recrutar um Técnico de Risco (M/F)  para empresa na área da Banca.

As Noites de Ciências, Noites de Luz propõem atividades gratuitas e interativas - com sessões de perguntas/respostas após cada palestra -, transmitidas em direto pela Internet. O ciclo iniciado em abril, continua em maio e nos meses seguintes.

No âmbito das acções de divulgação científica e de promoção do DI-FCUL, os professores visitaram a 28 de Maio a Escola Secundária D. Dinis, em Lisboa, para dias palestras intituladas respectivamente  "Robôs Móveis, por fora e por dentro" e "Quem roubou a minha identidade digital?".

O curso decorrerá entre 8 de Junho a 9 de Julho, de segunda a quinta feiras, 4h por dia, 4 dias por semana. 

Imagina que era possível experimentar um curso universitário antes de concorreres ao ensino superior?

O curso decorrerá entre o dia 13 e 25 de julho de segunda a sexta-feira das 17h às 20h e sábados das 09h às 17h. O objetivo principal deste curso será dar a conhecer as tecnologias de produção e armazenamento utilizadas em micro-redes de energia elétrica e respetiva formação em HOMER Pro (v.

As eleições dos membros dos Conselhos Científico e Pedagógico da Faculdade de Ciências da ULisboa ocorrem nos dias 26 e 27 de maio, entre as 9h00 e as 20h00, no átrio do edifício C3.

Ciências tem paixão pelas coisas do mar. A sua multidisciplinaridade fê-la receber o Prémio Scientia Mare 2015.

O seminário "Emergências Radiológicas" realiza-se a 28 de maio de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

Seminário Informal em Matemática no próximo dia 25 de Maio, 2ªfeira, às 14h na sala 6.2.44.

 

Tema: Teoria de super-caracteres do grupo unitriangular infinito", apresentado por Jocelyn Lochon.

A UNBABEL, start-up de antigo aluno do DI-FCUL, o Vasco Pedro, licenciado em Engenharia da Linguagem e do Conhecimento, é uma d

O seminário "Machine Learning: Introduction and selected applications" realiza-se a 21 de maio de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

O Departamento de Informática da Faculdade de Ciências da ULisboa organiza este ano a terceira edição do FCUL Rally Pro.

Aula aberta: Solos. Prof. Galopim de Carvalho

O Núcleo de Estudantes de Geologia (NEG FCUL), em colaboração com o Departamento de Geologia da Faculdade de Ciências da Universidade de Lisboa, tem o privilégio de receber o nosso tão acarinhado Professor Doutor António Galopim de Carvalho para uma

O evento inclui testemunhos. Os alunos de Ciências da ULisboa interessados em participar na sessão de esclarecimento devem inscrever-se.

No âmbito do Erasmus + strategic partnership ParIS (Partnership in Information Security), estudantes da Polónia, do Luxemburgo e de Portugal, nomeadamente do Departamento de Informática da Faculdade de Ciências da ULisboa, participaram recentemente no primeiro programa

A UNBABEL, start-up de antigo aluno do DI-FCUL, o Vasco Pedro, licenciado em Engenharia da Linguagem e do Conhecimento, é uma d

Mestrados do DBA de 2014 a 2016

Está a decorrer até dia 11 de junho de 2015 um trial  da eLS – Encyclopedia of Life Sciences, da editora Wiley. O acesso deve ser através da ligação

Páginas