MULTICONF-10 2010 - International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)
Topics/Call fo Papers
The scope of the conference includes all areas of theoretical computer science, mathematical and logical aspects of computer science and all related areas. Sample topics include but WILL NOT be limited to:
Algorithms
Analytical models of processes
Approximation methods
Automata, formal languages and computability
Automated reasoning
Category theory
Chaos theory
Coding theory
Combinatorics
Computational biology
Computational complexity
Computational geometry
Computational number theory
Concurrency and type theory
Cryptography
Data structures
Database theory
Deduction
Finite element and finite difference methods
Formal languages
Fourier Analysis
Game theory
Geometry and graphs
Geometric modeling
Graph theory and algorithms
Information retrieval
Logic in computer science
Logics of programs
Mathematical logic
Model theory and applications
Models of computation
Network theory and algorithms
Non-linear dynamics
Numerical models
Parameterized complexity
Partial evaluation
Probabilistic and randomized algorithms
Program transformation
Programming language design and semantics
Proof theory
Quantum computing
Queuing methods
Randomized and approximation algorithms
Rewrite systems and applications
Scheduling methods
Simulation and Modelling
Software specification and verification
Temporal logics
Theoretical aspects of computer security
Theoretical aspects of network security
Theory of computation
Theory of parallel and distributed computing
Timed and hybrid Systems
Type systems
Video Processing
Wavelets
Algorithms
Analytical models of processes
Approximation methods
Automata, formal languages and computability
Automated reasoning
Category theory
Chaos theory
Coding theory
Combinatorics
Computational biology
Computational complexity
Computational geometry
Computational number theory
Concurrency and type theory
Cryptography
Data structures
Database theory
Deduction
Finite element and finite difference methods
Formal languages
Fourier Analysis
Game theory
Geometry and graphs
Geometric modeling
Graph theory and algorithms
Information retrieval
Logic in computer science
Logics of programs
Mathematical logic
Model theory and applications
Models of computation
Network theory and algorithms
Non-linear dynamics
Numerical models
Parameterized complexity
Partial evaluation
Probabilistic and randomized algorithms
Program transformation
Programming language design and semantics
Proof theory
Quantum computing
Queuing methods
Randomized and approximation algorithms
Rewrite systems and applications
Scheduling methods
Simulation and Modelling
Software specification and verification
Temporal logics
Theoretical aspects of computer security
Theoretical aspects of network security
Theory of computation
Theory of parallel and distributed computing
Timed and hybrid Systems
Type systems
Video Processing
Wavelets
Other CFPs
- International Conference on Software Engineering Theory and Practice (SETP-10)
- International Conference on Image and Video Processing and Computer Vision (IVPCV-10)
- International Conference on Information Security and Privacy (ISP-10)
- International Conference on High Performance Computing Systems (HPCS-10)
- International Conference on Enterprise Information Systems and Web Technologies (EISWT-10)
Last modified: 2010-06-04 19:32:22