International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08)

Venue: Orlando

Location: Orlando, Florida, United States

Event Date/Time: Jul 07, 2008 End Date/Time: Jul 10, 2008
Registration Date: Apr 04, 2008
Early Registration Date: Apr 04, 2008
Paper Submission Date: Feb 04, 2008
Report as Spam


Approximation methods
Automata, formal languages and computability
Automated reasoning
Chaos theory
Coding theory
Computational biology
Computational complexity
Computational geometry
Computational number theory
Concurrency and type theory
Data structures
Database theory
Formal languages
Game theory
Geometry and graphs
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
Parametrized complexity
Probabilistic and randomized algorithms
Programming language design and semantics
Proof theory
Quantum computing
Queuing methods
Randomized and approximation algorithms
Rewrite systems and applications
Scheduling methods
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