ICHCC -ICTMF 2009 - 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science ICTMF 2009

Website http://www.ieee-icccs.cn/ichcc/ | Edit Freely

Category ICHCC -ICTMF 2009

Deadline: June 30, 2009 | Date: December 13, 2009

Venue/Country: Sanya, China

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

ICHCC -ICTMF 2009 will be the most comprehensive Conference focused on the various aspects of advances in High Performance Networking,Computing and Communication Systems. Our Conference provides a chance for academic and industry professionals to discuss recent progress in the area of High Performance Networking,Computing and Communication Systems.

The goal of this Conference is to bring together the researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of High Performance Networking,Computing and Communication Systems.

All accepted papers will be included in the Sptinger CCIS proceedings(DBLP and ISTP). And some papers selected will be included in some journals.

The scope of the ICTMF 2009 includes all areas of theoretical computer science, mathematical and logical aspects of computer science and all related areas.

Algorithms

Approximation methods

Automata, formal languages and computability

Automated reasoning

Category theory

Chaos theory

Coding theory

Combinatorics

Computational biology

Computational complexity

Computational geometry

Computational number theory

Concurrency and type theory

Cryptography

Data structures

Database theory

Deduction

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

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