FCS'10 - The 2010 International Conference on Foundations of Computer Science
Last modified
2010-01-18 21:18
FCS'10 is the 6th annual conference
C
A
L
L
F
O
R
P
A
P
E
R
S
|
You are invited to submit a full paper for consideration. All
accepted papers will be published in the FCS conference
proceedings (in printed book form; later, the proceedings will
also be accessible online). Those interested in proposing
workshops/sessions, should refer to the relevant sections that
appear below.
Topics of interest include, but are not limited to,
the following:
- Quantum Computing
- Game theory and methods
- Computational number 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)
- Theory of parallel and distributed computing
- Graph algorithms and graph drawing
- 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
- 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
|
|
