EVENT
- NOVA LINCS SEMINAR SERIES
- "Logic & Proofs for Cyber-Physical Systems" by André Platzer (Carnegie Mellon University), 15 January 2019 - 14h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "The impact of ICTs on student performance: evidence from wifi and smartphones" by Pedro Ferreira (Carnegie Mellon University), 8 January 2019 - 11h00
Read more >
- DISTINGUISHED LECTURE 2018
Towards a Lasting Human-AI Interaction by Manuela M. Veloso (Carnegie Mellon University and JPMorgan), 20 December 2018 - 14h30
Read more >
- NOVA LINCS SEMINAR SERIES
- "Temporal Information Models for Real time Microblog Search" by Flávio Martins (NOVA LINCS - FCT NOVA), 7 November 2018 - 14h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "Formal Methods for Approximate Computing in Arithmetic Circuits and Hardware-Accelerated Network Traffic Filtering" by Tomas Vojnar (Brno University of Technology), 17 October 2018 - 13h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "The 4IR: Societal and Ethical Challenge " by Isabel Ferreira (Centre of Philosophy / University of Lisbon), 26 September 2018 - 14h00
Read more >
- CRIWG 2018
24th International Conference on Collaboration and Technology, September 5-7, 2018 - Costa de Caparica, Portugal
- NOVA LINCS SEMINAR SERIES
- "VOCaL - The Verified OCaml Library" by Mário Pereira (Université Paris-Saclay), 13 July 2018 - 14h30
Read more >
- NOVA LINCS SEMINAR SERIES
- "Certified Programming in the heavy presence of pointers: the case for Union-Find" by Simão de Sousa (Universidade da Beira Interior), 4 July 2018 - 16h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "Epistemic General Problem Solving" by Michael Thielscher (UNSW Australia), 21 June 2018 - 12h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "Can Commit History Predict Future Code Changes in GitHub Projects?" by Jeremy Bradbury (University of Ontario Institute of Technology), 12 June 2018 - 14h00
Read more >
- NOVA LINCS SEMINAR SERIES
- "Ranking News-Quality Multimedia" by Gonçalo Marcelino (FCT NOVA), 6 June 2018 - 14h00
Read more >
15 Jan 2019
8 Jan 2019
20 Dec 2018
7 Nov 2018
17 Oct 2018
26 Sep 2018
3 Sep 2018
13 Jul 2018
4 Jul 2018
21 Jun 2018
12 Jun 2018
6 Jun 2018