IFIP Theoretical Computer Science 2012


Personal tools
From TCS 2012
Revision as of 10:38, 1 October 2012 by Michiel Helvensteijn (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Submission is closed.


Accepted papers were published in the Lecture Notes of Computer Science series.

Scope and Topics

The scope of this conference included but was not limited to:

  • Algorithms
  • Complexity
  • Models of Computation
  • Logic
  • Semantics
  • Specification
  • Verification


All submissions were peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All papers had to be written in English.

Papers could not exceed 15 pages in the LNCS format. See http://www.springer.de/comp/lncs/authors.html for details.