Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Artemov, Sergei; Nerode, Anil (Springer International Publishing : Imprint: Springer, 2016)