TCS 2014 - 8th International IFIP Conference on Theoretical Computer Science (IFIP-TCS)
Topics/Call fo Papers
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
Scope and Topics
The scope of this conference included but was not limited to:
Algorithms
Complexity
Models of Computation
Logic
Semantics
Specification
Verification
Other CFPs
- 9th International Symposium on Trustworthy Global Computing (TGC 2014)
- The 25th Conference on Concurrency Theory
- 18th International Software Product Line Conference
- The International Conference on Quantitative Evaluation of SysTems (QEST)
- 2014 International Conference on Optoelectronics Information Processing (ICOIP 2014)
Last modified: 2013-11-26 23:43:17