<P>Welcome to the official website of the 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS–08). The conference will be held during 7–10 of July 2008 in Orlando, FL, USA. The conference will be held at the <A href=″http://www.imperialswanorlando.com/″>Imperial Swan Hotel & Suites</A> located at 7050 South Kirkman Road Orlando, FL, 32819–8284, USA. <BR></P> <P><STRONG>Keywords:</STRONG> </P> <UL> <LI>Algorithms <LI>Approximation methods <LI>Automata, formal languages and computability <LI>Automated reasoning <LI>Category theory <LI>Chaos theory <LI>Coding theory <LI>Combinatorics <LI>Computational biology <LI>Computational complexity <LI>Computational geometry <LI>Computational number theory <LI>Concurrency and type theory <LI>Cryptography <LI>Data structures <LI>Database theory <LI>Deduction <LI>Formal languages <LI>Game theory <LI>Geometry and graphs <LI>Graph theory and algorithms <LI>Information retrieval <LI>Logic in computer science <LI>Logics of programs <LI>Mathematical logic <LI>Model theory and applications <LI>Models of computation <LI>Network theory and algorithms <LI>Non–linear dynamics <LI>Parameterized complexity <LI>Partial evaluation <LI>Probabilistic and randomized algorithms <LI>Program transformation <LI>Programming language design and semantics <LI>Proof theory <LI>Quantum computing <LI>Queuing methods <LI>Randomized and approximation algorithms <LI>Rewrite systems and applications <LI>Scheduling methods <LI>Software specification and verification <LI>Temporal logics <LI>Theoretical aspects of computer security <LI>Theoretical aspects of network security <LI>Theory of computation <LI>Theory of parallel and distributed computing <LI>Timed and hybrid Systems <LI>Type systems </LI></UL>
Abbrevation
TMFCS
City
Orlando
Country
United States
Deadline Paper
Start Date
End Date
Abstract