TMFCS: Theoretical and Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TMFCS 2010 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science
Jul 12, 2010 - Jul 14, 2010 Orlando, USA May 31, 2010
TMFCS 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science
Jul 7, 2008 - Jul 10, 2008 Orlando, USA Feb 4, 2008
 
 

Present CFP : 2010

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

SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
IEEE-EI/Scopus-IECA 2025   2025 2nd International Conference on Informatics Education and Computer Technology Applications -IEEE Xplore/EI/Scopus
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
ICISIP 2025   The 12th IIAE International Conference on Intelligent Systems and Image Processing 2025
IEEE AMCAI 2025   IEEE Afro-Mediterranean Conference on Artificial Intelligence
ISCSO 2024   Multi-Objective Optimization Competition