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
Composição fotográfica alusiva à missão da Faculdade

“Portugal pode por isso estar certo de que, nesta época de crise, toda a comunidade da Ciências Ulisboa beneficia de um ambiente de trabalho seguro e sustentável, que não compromete a qualidade da sua missão”, escreve Pedro Almeida, subdiretor da Faculdade.

Tec Labs - Centro de Inovação Ciências ULisboa

No Tec Labs – Centro de Inovação e incubadora da Ciências ULisboa são várias as empresas, spin-off, proto-company e startups a trabalhar para encontrar soluções que ajudem doentes, profissionais, unidades hospitalares e autoridades governamentais nesta “luta”, que só poderá ser vencida pelo esforço conjunto.

Skype, Zoom e Houseparty são boas apostas para combinar eventos sociais

"Socializar por meio de momentos lúdicos, rir e partilhar ideias sobre novos projetos são excelentes formas de dirigir a nossa atenção para além da preocupação. Ajuda-nos a colocar o foco da nossa energia ao serviço daquilo que nos faz bem e sentirmo-nos ligados", escreve a psicóloga Andreia Santos.

Mapa

O Centro de Física Teórica e Computacional da Ciências ULisboa participa no desenvolvimento do mapa de risco de propagação da COVID-19 por contágio comunitário em Portugal, um projeto coordenado pelas Universitat Rovira i Virgili, em Tarragona, e Universidad de Zaragoza, em Zaragoza, ambas em Espanha e que em Portugal tem como parceiros a NOS, a Data Science Portuguese Association e a Closer Consulting.

Grupo de investigadores do HIT-CF Europe

Cerca de 502 pessoas com mutações raras de fibrose quística (FQ) foram recrutadas pelo projeto inovador HIT-CF Europe, financiado pela União Europeia através do Horizonte 2020 e que conta com a participação de Margarida Amaral, professora do Departamento de Química e Bioquímica da Ciências ULisboa, coordenadora do Instituto de Biossistemas e Ciências Integrativas (BioISI) e líder do grupo português neste consórcio.

Medicamentos

Ao longo dos últimos dias, vários colegas da Ciências ULisboa e de outras faculdades entraram em contacto com Manuel Carmo Gomes, professor do Departamento de Biologia Vegetal, manifestando disponibilidade para contribuir com o seu conhecimento e meios no auxílio à análise dos dados, modelação e projeção do futuro da epidemia.

O Conselho Pedagógico da Ciências ULisboa preparou um conjunto de orientações relacionadas com as ferramentas de apoio ao ensino à distância, disponíveis no site da Faculdade e que visam ajudar os professores, investigadores e alunos durante este período de tempo sem aulas presenciais, uma medida implementada no âmbito do Plano de Contingência em Ciências COVID-19.

Imagem gráfica associada ao Plano de Contingência em Ciências COVID-19

A Direção da Ciências ULisboa determinou um conjunto de medidas que pretendem contribuir para a contenção da propagação do novo coronavírus e que vigoram até ao próximo dia 27 de março, podendo ser ajustadas conforme a necessidade e a evolução da situação.

Reunião de arranque do Colégio POLAR2E

O POLAR2E tem como objetivo criar sinergias em áreas como as ciências da criosfera, a modelação climática, a ecologia de ambientes extremos, a deteção remota, a construção em ambientes extremos, a astrobiologia e a engenharia aeroespacial dentro da Universidade.

Grupo de campus ambassadors da Jerónimo Martins, de diferentes faculdades de todo o país

No ano letivo de 2019/2020, todos os estudantes da Faculdade com interesse e dúvidas quanto aos Young Talent Programmes da Jerónimo Martins (JM) poderão contactar Catarina Bernardo, por email ou via LinkedIn! A aluna finalista de Biologia da Faculdade está disponível para responder a dúvidas sobre as várias oportunidades da JM para jovens universitários.

Imagem gráfica da rubrica Radar Tec Labs

Segunda rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a UpHill.

Na sequência das orientações da Direção-Geral da Saúde e procurando evitar desta forma alarmismos desnecessários, sem descurar uma atuação prudente e responsável, Ciências ULisboa elaborou o Plano de Contingência em Ciências COVID-19.

Primeira reunião do IDEA-FAST

Tiago Guerreiro, professor do DI e investigador do LASIGE Ciências ULisboa, participa no IDEA-FAST, um projeto inovador na área da saúde digital, com um orçamento de 42 milhões de euros.

Estatística

“O CEAUL tem pessoas com uma contribuição notável para a Estatística em Portugal”, escreve o investigador Tiago Marques, a propósito do último congresso da Sociedade Portuguesa de Estatística.

Golfinhos

Que espécies encontrarão os cadetes do NRP Sagres? Que informação se esconde na cor do mar? Estas são algumas das questões a que o CIRCULARES, um projeto de ciência cidadã irá responder durante a viagem de circum-navegação, que deverá terminar em janeiro de 2021.

Ana Rita Carlos

Ana Rita Carlos, investigadora no polo da Faculdade do Centro de Ecologia, Evolução e Alterações Ambientais (cE3c) e antiga aluna da Ciências ULisboa, é uma das quatro jovens cientistas portuguesas premiadas na 16ª edição das Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência, com um estudo sobre os mecanismos que desencadeiam as distrofias musculares congénitas.

José Cabrita Freitas e João Pinto Coelho integram o grupo de trabalho dedicado ao encandeamento por <i>laser</i> no visível, efeitos e proteção

José Cabrita Freitas e João Pinto Coelho, investigadores do Departamento de Física e do Laboratory of Optics, Lasers and Systems da Ciências ULisboa, foram distinguidos com o Scientific Achievement Award e com o SET Panel Excellence Award, pelo Conselho de Ciência e Tecnologia da NATO.

Encontro Nacional sobre Investigação em Alterações Climáticas

Mais de 500 pessoas inscreveram-se no Encontro Nacional sobre Investigação em Alterações Climáticas, uma iniciativa organizada pela Ciências ULisboa em parceria com o IDL e a CML, no âmbito da Lisboa Capital Verde Europeia 2020. O acontecimento visa debater a melhor investigação em alterações climáticas que é realizada em Portugal. O programa integra oito sessões temáticas e uma sessão de posters, com 47 trabalhos.

Comitiva da Faculdade no “Matchmaking” da EIT Health

Ciências ULisboa participou no “Matchmaking” da EIT Health. “O balanço final é bastante positivo pois foi possível obter a participação da Faculdade em duas summer schools e ainda angariar parceiros para propostas campus e innovation lideradas ou comparticipadas pela Faculdade”, refere Ana Faisca, técnica do GAI da Direção de I&D da Ciências ULisboa.

Primeira prova das OUB

Em Portugal existem atualmente 12 licenciaturas de Bioquímica com um total de 615 vagas. Leia o artigo da autoria do professor Francisco Pinto sobre o importante dinamismo desta comunidade estudantil.

Imagem gráfica da rubrica Radar Tec Labs

A rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade, tem aqui a sua primeira edição, com destaques do mês de janeiro e da spin-off Delox.

Levada Wanderungen, Madeira

Carlos A. Góis-Marques é o primeiro autor deste estudo. O aluno inscrito no doutoramento em Geologia da Ciências ULisboa desenvolve o seu trabalho sob orientação dos professores José Madeira, Miguel Menezes de Sequeira e José M. Fernández-Palácios.

Constituição da AMONET no notário em 2004

“(…) embora existam mudanças positivas, persiste uma grande diferença entre homens e mulheres cientistas em cargos de topo. Continua a ser muito menor o número de reitoras, diretoras de laboratórios de investigação ou professoras catedráticas. (…)”. Crónicas em Ciências com Maria José Costa, presidente da AMONET.

Vigilantes da natureza do Parque Natural do Vale do Guadiana do ICNF no JBT

O Jardim Botânico Tropical a ULisboa volta a abrir portas ao público.  A 1.ª fase do projeto de requalificação incluiu o melhoramento dos caminhos, lagos e linhas de água e alguns canteiros da zona sul do jardim.

Homenagem a Helena Iglésias Pereira

“Lena, partiste, mas estarás sempre presente no nosso coração.” Artigo da autoria de Maria Antónia Turkman, professora do DEIO Ciências ULisboa.

Páginas