Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Inria | Raweb 2013 | Exploratory Action
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Informal International Partners

Deducteam and the KWARC research group (Jacobs University, Germany), led by Michael Kohlhase, have organized a common workshop in Paris on the 12 of April. This workshop has led to the two tools dk2MMT and MMT2dk, and another workshop is planned on the 2014 year. See the program at or the webpage of the seminars.