Cameleer: a Deductive Verification Tool for OCaml
RSS Meetup por Mário Pereira (NOVA-LINCS, FCT/UNL).
Informática
LEAD-ME COST
Uma mudança cultural e a criação de uma nova mentalidade na conceção de ferramentas para atividades profissionais e privadas para todos os cidadãos europeus, na posse das suas totais capacidades ou com alguma limitação, é o objetivo da ação LEAD-ME COST, que tem Carlos Duarte, professor do Departamento de Informática, investigador do LASIGE Ciências ULisboa, como membro do comité de gestão desta ação.
Why analyze biomedical text if we have data?
Speaker: Francisco Couto (LASIGE/DI-FCUL).
Challenges in buildings energy management and possible contributions from Data Science
Speaker: Pedro Ferreira (LASIGE/DI-FCUL).
Supporting Independent Navigation of Blind People
Speaker: João Guerreiro.
Unlimited Career - IT Edition
Um programa exclusivo para alunos da área de Informática ou Tecnologias de Informação.
Bitcoin contracts: secure compilation, analysis, and expressiveness
Speaker: Massimo Bartoletti (University of Cagliari).
Deep Learning Methods for Multimodal Action Recognition
Speaker: Nuno Garcia.
Making Data Science Personal
Speaker: Simon Harper (University of Manchester).
Abstract: We will discuss how data science can be applied to precision medicine and how this requires a different way of thinking and understanding than we typically exhibit when looking at big data.
Resource-Aware Session Types for Digital Contracts
Speaker: Ankush Das (Carnegie Mellon University).