FCS'14 - The 2014 International Conference on Foundations of Computer Science
Last modified
2014-02-03 00:25
FCS'14 is the 10th annual conference
C
A
L
L
F
O
R
P
A
P
E
R
S
|
You are invited to submit a paper for consideration. All accepted papers will be published in printed conference books/proceedings (ISBN) and will also be made available online. The proceedings will be indexed in science citation databases that track citation frequency/data for each paper. In addition, like prior years, extended versions of selected papers (about 35%) will appear in journals and edited research books (publishers include: Springer, Elsevier, BMC, and others). See the following links for a small
subset of the publications based on the Congress: (some of these books and special issues have already received the top 25% downloads in their respective fields - we also have a number of Elsevier and Springer books in the pipeline based on the last offering of the congress):
FCS'14 is composed of a number of tracks, including: tutorials, sessions, workshops, posters, and panel discussions. The conference will be held July 21-24, 2014, Las Vegas, USA.
Topics of interest include, but are not limited to,
the following:
- Quantum Computing
- Game theory and methods
- Computational number theory
- Big Data analytics
- Distributed and parallel computation models and theory
- Logic in computer science
- Theory of computing and formal systems
- Automata and formal languages
- Optimization methods
- Coding theory
- Novel data structures
- Languages
- Complexity theory (including circuit complexity)
- Graph algorithms
- Deduction
- Combinatorics
- Algorithms
- Probabilistic and randomized methodologies
- Approximation methods
- Parametrized complexity (including Kolmogorov, ...)
- Non-linear dynamics and chaos
- Computational biology and bioinformatics
- Cryptography
- Novel compression methods
- Database theory
- Queuing methods
- Pansystems
- Foundations of computer security
- Model checking and computer-aided verification
- Models of computation
- Computational geometry
- Semantics, concurrency and type theory
- Scheduling methods
- Models of internet computing
- Other emerging topics
Click Here for more details
|
|
