This page contains all documents describing the activity of the Associated Team, from the submission document, the annual activity reports, and ultimately the final reports.
Documents
2012 Activities
2011-2012 Activities and Visits Nov. 8th 2011: Kickoff Workshop at ECNU Shanghai, with scientific presentations from Pr. Y. Chen, C. Peng, D. Du, M. Zhang, H. Sun (ECNU), E. Madelaine, R. de Simone (INRIA), and V. Joloboff (LIAMA) Dec. 15 2011 – Sep. 30 2012: Yanwen CHEN, PhD, visit to OASIS team in Sophia-Antipolis (first …
2013 Activities
VISITS and EXCHANGES: Visits in Sophia-Antipolis: Yanwen CHEN (PhD student, cotutelle between ECNU Shanghai, and University of Nice Sophia Antipolis): 2013 Jan 1st – July 15th Ass. Pr. Min ZHANG: 2013 Sept. 12th-16th Pr. Yixiang CHEN: 2013 Oct. 14th-17th Yanwen CHEN: 2013 Oct. 14th-15th Dongqian Liu (Master student, ECNU Shanghai): 2013 Oct. 5th – Dec. …
2014 Activities
VISITS and EXCHANGES: Visits in Sophia-Antipolis: Yanwen CHEN (PhD student, cotutelle between ECNU Shanghai, and University of Nice Sophia Antipolis): 2014 Feb. 15th – Aug.15th Pr. Yixiang CHEN: 2014 May. 17th, LIAMA workshop in Paris. Yuanrui ZHANG, M2 internship with Robert de Simone and Frédéric Mallet: Apr. 2014-Aug. 2014 Pr. Min ZHANG: 2014 Sept. 17th …
Proposal document (nov. 2011)
Associated Team proposal (nov 2011) 1. Project Description: The development of concurrent and parallel systems has traditionally been clearly split in two different families. The first family is based on synchronous models of system behaviour, and is primarily targeted at hardware and circuit design, embedded and reactive systems. Its applications areas have been both involving …
