You are here

News and events


Matto Ceriotti received the EWSN/CONET Best PhD Thesis Award at the 9th European Conference on Wireless Sensor Networks (EWSN 2012), for his thesis "Guaranteeing Communication Quality in Real World WSN Deployments"


The article "What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks? " written by Amy Murphy and Usman Raza, in collaboration with researchers from DISI, was awarded the Mark Weiser Best Paper Award at the IEEE PerCom 2012 conference.


The ongoing integration of software-intensive embedded systems and global communication networks into Cyber-Physical Systems (CPS) is considered to be the next revolution in ICT with a great deal of game-changing business potential and novel business models for integrated products and services. Many technology leaders are already in the midst of a global race of repositioning and reinventing themselves by developing new dynamic CPS-inspired business models.


Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper "A quantifier-free SMT encoding of non-linear hybrid automata".


The AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.
AVM 2013 will take place at Fondazione Bruno Kessler (FBK) in Trento, Italy, from May 27th to May 29th, 2013.