Section: Partnerships and Cooperations
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 http://www.cri.ensmp.fr/people/hermant/deducteam/2013/kwarc-dedukti.html or the webpage of the seminars.