posted by user: jmheralds || 5941 views || tracked by 16 users: [display]

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


Conference Series : Theoretical and Mathematical Foundations of Computer Science
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

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
AVC 2020   Advances in Vision Computing: An International Journal
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
MFCS 2020   The 45th International Symposium on Mathematical Foundations of Computer Science
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
IEEE ICAS 2020   2020 IEEE International Conference on Autonomous Systems
JSE 2020   9th International Conference on Software Engineering and Applications