During the past 50 years there has been extensive, ontinuous, and increasing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a modeling tool. Indeed, logic has rightly been called "the calculus of computer science,", playing, as it does, a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing,database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference (FLoC) is the premier meeting focusing on logic and computation, bringing together eight major conference and many dozens of workshops. Early registration is now open at: http://vsl2014.at/ Moshe Vardi [For admin and other information see: http://www.mta.ca/~cat-dist/ ]