4月27、29-30日，由我校软件学院和法国国家信息与自动化研究院（INRIA）合办的“Distributed/Asynchronous, Embedded/Synchronous System Development”（DAESD）春季学校在数学馆顺利举行。来自我校和上海交通大学、同济大学、上海大学的师生共同聆听了INRIA研究员VaniaJoloboff、Robert De Simone、Eric Madelaine、Frédéric Mallet和LudovicHenrio的精彩报告。

        本届春季学校旨在为并行计算提供可信建模和编程方法。由Robert De Simone教授带领的Aoste团队介绍了有关嵌入式应用的计算、通信模型和模型驱动的工程方法；由Eric Madelaine教授带领的Oasis团队介绍了有关分布式系统的设计和验证方法的最新进展。

        短短几天，来自各所学校的师生开展了热烈的交流。4月30日，师生们在实验室进行动手实践练习，并就实验内容进行了激烈的讨论。很多老师和学生纷纷表示春季学校对自己的学术研究带来了灵感和帮助。教授们也纷纷表示满意此次学术交流，并希望双方加深合作。