posted by user: jmheralds || 7194 views || tracked by 15 users: [display]

TMFCS 2010 : 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Theoretical and Mathematical Foundations of Computer Science
 
Link: http://www.promoteresearch.org
 
When Jul 12, 2010 - Jul 14, 2010
Where Orlando, USA
Submission Deadline May 31, 2010
Categories    theoretical computer science   complexity   computation theory   computer science
 

Call For 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 fluid dynamics
* 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

Related Resources

EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
FCSIT 2022   2022 4th Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2022)
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
CETA--Ei 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
Smart Cities 2022   Smart Cities: Enabling Technologies and Applications
EI/Scopus--DMBDA 2022   2022 5th International Conference on Data Mining and Big Data Analytics (DMBDA 2022)