Computer-assisted Formalization of Mathematics, 6th Podlasie Conference, Bialystok, July 1-4, 2014Kuperberg, KrystynaNational Science Foundation (NSF), Direct For Mathematical & Physical Scien, Division Of Mathematical Sciences (ID: 1419326), $10,000USD, 03/15/2014 -- 05/31/2016