- Menu
by Kelvin Hirsch
06th March 2018
Conference cycle "The Portuguese Economy and Industry 4.0 - The path of a new industrialization".
21st February 2018
An Executable Formal Framework for Safety-Critical Human Multitasking, by Giovanna Broccia (University of Pisa, Italy)
21st February 2018
Conference cycle "The Portuguese Economy and Industry 4.0 - The path of a new industrialization", organized by the weekly Vida Económica and INESC TEC.
08th February 2018
Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors, by Meng Sun (Peking University, China)
07th February 2018
Application areas: climate change, ocean modeling, space exploration, energy systems, underlying CS technologies
20th December 2017
Resource-Aware Models in ABS by Einar Broch Johnsen
14th December 2017
Security clearance, cybersecurity, sensitive information protection, economic and technological espionage
28th November 2017
Moderator: Alexandre Mendes, Executive Director at Startup Braga
27th November 2017
Science and Technology Week, Ciência Viva
24th November 2017
Deadline: January 3, 2017
03rd January 2017
PRO-VE 2016 will provide a forum for sharing experiences, discussing trends, identifying challenges, and introducing innovative solutions aimed at fulfilling the vision of a hyperconnected world.
05th October 2016