posted by user: jmheralds || 8058 views || tracked by 16 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

CSIT 2024   IEEE 19th International Conference on Computer Science and Information Technologies
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
IEEE ICA 2022   The 6th IEEE International Conference on Agents