News

2021/02/12

Andrea Borgarelli has been selected for admission to the CS@max planck doctoral program

2019/09/12

Our paper Static Analysis of Featured Transition Systems got the SPLC 2019 Best Paper Award ( photo)

2019/04/16

Giorgio Audrito has been selected to participate in the 7th Heidelberg Laureate Forum (September 22-27, 2019)

2018/12/20

We have a new project: Ferruccio Damiani is principal investigator of the Ateneo/CSP project on Aggregate Programming (2019/03/01 – 2021/02/28)

2018/12/05

Giorgio Audrito got the Ateneo/CSP grant ( “bando per l’internazionalizzazione della ricerca 2018” ) for Cooperation with the University of Iowa on Aggregate Programming (2019/04/01 – 2020/03/31)

2018/04

We have a new project: HPC4IA (Regione Piemonte, INFRA_P): Turin’s centre in High-Performance Computing for Artificial Intelligence (2018-04-01, 24 months)

2017/06/21

Our paper Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed was selected as Best Paper of COORDINATION 2017 (see photo)

2017/04/03

Our paper A Formal Model of Multi SPLs got the FSEN 2017 Best Paper Award (see photo)

2016-09-14

Our paper Self-Adaptation to Device Distribution Changes got the SASO 2016 Best Paper Award

2016-03

We have a new project: EC-COST Action CA15123 EUTypes: The European research network on types for programming and verificationg (see also the page at the COST site)

2015-07

We have a new project: Ferruccio Damiani is principal investigator of the Ateneo/CSP Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability

2015-07

HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud

2015-02

We have a new project: Feruccio Damiani is responsible of the UNITO unit of the EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems

2015-02

We have a new project: Ferrucio Damiani is MC member of the EC-COST Action IC1402 ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site)

2014-06-04

Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award

2013-01

We have a new project: Ferruccio Damiani is responsible of the UNITO unit of the POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains

2013-01

We have a new project: Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types

2012-06

We have a new project: EC-COST Action IC1201 BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site)

2009/01

We have a new project: Ferruccio Damiani is responsible for the Italian site of the Language constructs and type systems for object oriented program components project (2009-01/01 – 2011/05/31) funded by the German-Italian University Centre (Vigoni program 2008-2009).

2008/06

We have a new project: Ferruccio Damiani is MC Member of the EC-COST Action IC0701 (2008/03 – 2012/03) FoVeOOS: Formal Verification of Object-Oriented Software (see also the page at the COST site).