SEMINARS
- What Rhymes With Critical Design?
- Jeffrey Bardzell
- 15/05/2019 10:00, Host: Multimodal Systems
- Design Thinking Education of Engineers
- Peter Kaiser
- 08/05/2019 13:00, Host: Software Systems
- n-gram Cache Performance in Statistical Extraction of Relevant Terms in Large Corpora
- Carlos Gonçalves
- 23/01/2019 14:00, Host: Computer Systems
- Boost you research capacity with Azure
- Paulo Ramos
- 16/01/2019 14:00, Host: Computer Systems
- Logic & Proofs for Cyber-Physical Systems
- André Platzer
- 15/01/2019 14:00, Host: Inteligent Systems
- The impact of ICTs on student performance: evidence from wifi and smartphones
- Pedro Ferreira
- 08/01/2019 11:00, Host: Software Systems
- Temporal Information Models for Real time Microblog Search
- Flávio Martins
- 07/11/2018 14:00, Host: Multimodal Systems
- Formal Methods for Approximate Computing in Arithmetic Circuits and Hardware-Accelerated Network Traffic Filtering
- Tomas Vojnar
- 17/10/2018 12:00, Host: Computer Systems
- The 4IR: Societal and Ethical Challenges
- Isabel Ferreira
- 26/09/2018 13:00, Host: Software Systems
- VOCaL - The Verified OCaml Library
- Mário Pereira
- 13/07/2018 13:30, Host: Software Systems
- Certified Programming in the heavy presence of pointers: the case for Union-Find
- Simão Melo de Sousa
- 04/07/2018 15:00, Host: Software Systems
- Epistemic General Problem Solving
- Michael Thielscher
- 21/06/2018 11:00, Host: Inteligent Systems
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar
Seminar