apps clear

25 years of SMS, the service that revolutionized communication

December 12, 2017

This week marks a quarter of a century since the first SMS, a service that forever changed communication between people....

[ Read More ]

Card-Based Cryptography

December 12, 2017

In this talk I will show you how to use standard playing cards in order to run cryptographic protocols in...

[ Read More ]

5G technology applied to ASTI Mobile Robotics’ AGVs

December 11, 2017

The engineering firm from Burgos is working with 5TONIC on a project to centralise AGV decision-making

[ Read More ]

5G set to revolutionize communications and to transform industry

December 7, 2017

The new generation of 5G mobile networks is the future of the Information and Communication Technologies (ICT) sector – a...

[ Read More ]

Talk by Nataliia Stulova: Improving Runtime Verification in Dynamic Programming Languages

December 5, 2017

Software verification comes in two flavors: static and dynamic. Static program verification takes place during program analysis and/or compilation, and...

[ Read More ]

Improving Runtime Verification in Dynamic Programming Languages

December 5, 2017

Software verification comes in two flavors: static and dynamic. Static program verification takes place during program analysis and/or compilation, and...

[ Read More ]

New researcher at IMDEA Energy

December 4, 2017

Predoctoral Researcher: Mario Sánchez Origin: University of Salamanca IMDEA Energy Unit: High-Temperature Processes Date: 20/11/2017

[ Read More ]

New researcher at IMDEA Energy

December 4, 2017

Postdoctoral Researcher: Nagaraj Patil Origin: University of Liege, Belgium IMDEA Energy Unit: Electrochemical Processes Date: 06/11/2017

[ Read More ]

New researcher at IMDEA Energy

December 4, 2017

Postdoctoral Researcher: Andreas Mavrantonakis Origin: University of Minnesota, USA IMDEA Energy Unit: Electrochemical Processes Date: 02/11/2017

[ Read More ]

Archives