Bitcoin contracts: secure compilation, analysis, and expressiveness
Speaker: Massimo Bartoletti (University of Cagliari).
Speaker: Massimo Bartoletti (University of Cagliari).
Investigadores do LASIGE Ciências ULisboa e da Universidade de Londre apontam várias vantagens para a utilização do Twitter como fonte de notícias e alertas de cibersegurança, descritas num artigo realizado no âmbito do projeto DiSIEM, destacado como uma história de sucesso pela Comissão Europeia.
Speaker: Ankush Das (Carnegie Mellon University).
O projeto VEDLIoT, iniciado este mês e com uma duração de três anos, visa desenvolver uma plataforma de aprendizagem autónoma para a Internet das Coisas. O CoR-Labda Universidade de Bielefeld, na Alemanha, coordena este consórcio, composto por 12 parceiros, entre eles a FCiências.ID.
A participação de Ciências ULisboa incidirá nas áreas de potencial interesse expresso por parte dos destinatários indianos, tais como as Ciências da Computação e as Ciências Naturais.
Melhorar o funcionamento e a otimização energética de edifícios e equipamentos, resolvendo algumas das suas limitações, é um dos objetivos do projeto “Self Assessment Towards Optimization of Building Energy (SATO)”, liderado pela Ciências ULisboa e que tem início marcado para o próximo mês de outubro. O projeto integra 16 parceiros europeus da academia e dos sectores público e empresarial e representa a primeira grande colaboração científica entre o LASIGE e o IDL.
Between 15 and 18 September 2020, occurs the SafeComp 2020: 39th International Conference on Computer Safety, Reliability and Security, which is organized by members of LASIGE (António Casimiro, Bernardo Ferreira, Ibéria Medeiros, Pedro Ferreira) and whose general chair and program co-chair is António Casimiro.
This year the key theme of the conference is "Safe AI in critical systems", with around 150 participants from 18 countries registering.
“A tecnologia deve poder ser usada por todas as pessoas!”, diz Carlos Duarte, professor do Departamento de Informática, investigador do LASIGE Ciências ULisboa, e recentemente membro do World Wide Web Consortium (W3C) e da Ação COST LEAD-ME -Leading Platform for European Citizens, Industries, Academia and Policymakers in Media Accessibility.
Investigadores do LASIGE Ciências ULisboa, INESC TEC e Universidade do Minho apresentam uma nova técnica de deduplicação de dados baseado em semelhanças e padrões encontrados nos ficheiros de sequenciação de genomas humanos e uma codificação das alterações para a recuperação desses dados.
Francisco Couto gave an invited talk, titled "Multilingual Text Mining" at the first edition of the Multilingual clinical NLP workshop: MUCLIN. The event took place on July 4, online.