IFIP Theoretical Computer Science 2012

Submission

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

Contents

EasyChair

Submission is closed.

Proceedings

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

Submissions

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.