Foreword

These proceedings contain all the papers presented at the symposium that have been selected from the set of papers submitted to the ´formal´ category. Indeed, authors sending their work to the symposium had the possibility to submit either to the ´formal´ category or to the ´informal´ category. Then, both categories were reviewed by the program committee but different evaluation criteria were used for each category. Only selected papers from the formal category were included to these IEEE proceedings.