LogiCS: Doctoral College on Logical Methods in Computer Science by Editors • May 6, 2014 • Comments Off on LogiCS: Doctoral College on Logical Methods in Computer Science by Thomas Krennwallner, TU Wien, Austria Read more →