2022/09/16
Our SPLC 2010 paper Delta-Oriented Programming of Software Product Lines got the SPLC 2022 Most Influential Paper Award (photo).
2022/06/16
Our paper Extensible 3D Simulation of Aggregated Systems with FCPP got the COORDINATION 2022 Best Artifact Award
2022/06
Our paper Functional programming for distributed systems with XC got the ECOOP 2022 Disinguished Artifact Award (photo)
2022/01/03
Ferruccio Damiani got a Certificate of Appreciation for outstanding contributions to the development of: MPAI-AIF – Artificial Intelligence Framework Technical Specification V1
2021/12/22
We have a new project: Ferruccio Damiani is responsible for the Ateneo/CSP “Bando ex post 2020” project NewEdge: New Design and Development Approach for Dependable Intelligent Edge Systems (2021/12/31 – 2023/12/31)
2021/12/14
We have a new project: Ferruccio Damiani is local responsible for the PRIN 2020 project COMMunity-OrieNted WEARrable Computing Systems (COMMON-WEARS)
2021/12/14
We have a new project: Luca Paolini is member of the UNIMI site of the PRIN 2020 project Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems (T-LADIES)
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-10
We have a new project: MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society
2012-09-26
Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award
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).