1. The Incredible ELK

   • Yevgeny Kazakov
   • Markus Krötzsch
   • František Simančík

   OriginalPaper 17 November 2013 Pages: 1 - 61

2. Formalization of Shannon’s Theorems

   • Reynald Affeldt
   • Manabu Hagiwara
   • Jonas Sénizergues

   OriginalPaper 11 December 2013 Pages: 63 - 103