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

Venue: Orlando

Location: Orlando, United States

Event Date/Time: Jul 13, 2009 End Date/Time: Jul 16, 2009
Registration Date: Apr 06, 2009
Early Registration Date: Apr 04, 2009
Paper Submission Date: Feb 02, 2009
Report as Spam


Approximation methods
Automata, formal languages and computability
Automated reasoning
Category theory
Chaos theory
Coding theory
Computational biology
Computational complexity
Computational geometry
Computational number theory
Concurrency and type theory
Data structures
Database theory
Formal languages
Fourier Analysis
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
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
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