Resource-Aware Session Types for Digital Contracts
Speaker: Ankush Das (Carnegie Mellon University).
Tecnologias de Informação
Existence and Complexity of Equilibria in Congestion Games
Speaker: Diogo Poças.
Generating and Ranking Candidate Data Models from Background Knowledge
Por Daniela Oliveira.
DI Ciências: sessões de boas-vindas aos novos alunos
O Departamento de Informática promove duas sessões de boas-vindas aos novos alunos 2020/2021:
- Licenciatura em Engenharia Informática: anfiteatro 3.2.14 (edifício C3) | 08h-09h30
- Licenciatura em Tecnologias de Informação: anfiteatro 8.2.30 (edifício C8) | 08h-09h30
GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
Por Vinicius Cogo (aluno de doutoramento de Ciências ULisboa).
Multilingual clinical NLP workshop: MUCLIN
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.
DCDS '20 - DSN Workshop on Data-Centric Dependability and Security
The second Workshop on Data-Centric Dependability and Security will take place on June 29 and July 2, 2020 in València, Spain and is colocated with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Agda as a Proof Assistant
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
Technology and Education for all: Enhancing learning experiences through Tangible User Interfaces for young children with mixed visual-abilities
Speaker: Ana Pires.
Behavioural APIs and choreographic development
Speaker: Emilio Tuosto.
Páginas
- « primeira
- ‹ anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- seguinte ›
- última »