Section: Partnerships and Cooperations

Regional Initiatives

The research involving the PhD thesis of Aiswarya Cyriac on temporal logics for concurrent recursive programs is supported by the DIGITEO project LOCOREP, 2010-2013. Hernán Ponce de León's research on conformance testing for concurrent systems through event structures is supported by the DIGITEO project TECSTES, 2011-2014.