Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
1189 commits behind the upstream repository.
2015-07-17-Best-Paper-Award-at-CICM.md 390 B 
layout: post
author: Michael Kohlhase
title: Best Paper Award at CICM
tags:
   - announcement

Mihnea Iancu and Michael Kohlhase received the best paper award at CICM 2015 in Washington DC, USA (MKM/DML tracks) for their paper Math Literate Knowledge Management via Induced Material