Newer
Older
---
Mihnea Iancu and Michael Kohlhase received the best paper award at [CICM 2015](http://cicm-conference.org/2015/cicm.php) in Washington DC, USA (MKM/DML tracks) for their paper Math [Literate Knowledge Management via Induced Material](http://kwarc.info/kohlhase/papers/cicm15-induced.pdf)